{"entities":{"Q5020357":{"pageid":7049934,"ns":120,"title":"Item:Q5020357","lastrevid":58400217,"modified":"2026-04-05T01:28:07Z","type":"item","id":"Q5020357","labels":{"en":{"language":"en","value":"Time-stamped claim logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452346"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$DB71572F-48E5-449D-AFD0-8A1524A54CAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c304e6c52a639b10c3fc5d5225a0484b1ed414","datavalue":{"value":{"text":"Time-stamped claim logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5020357$EDCCA962-3F2A-4EC8-8630-2860212E678C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a9f74e5c7551a3ae83ca4723d35b2c7ee2060a","datavalue":{"value":"1494.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$3B4D0F2B-EE1B-4C74-B4D5-26277F83A9D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"315fcdd7f76ca21f8e331a8b898ef57071777176","datavalue":{"value":{"entity-type":"item","numeric-id":5020356,"id":"Q5020356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$BB4703DD-279E-41B0-9FAD-BB53DC495D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$5A330939-9B1A-4B4B-85B8-63D5B781F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$37803646-0AF4-414E-9BAB-2FD850D5A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$AD51D60B-56E7-41E5-8F13-5EEC121F589D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$9FD3941A-F789-4CE6-B3B1-C6AB05DE3C4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dcc7e1e16f9d2701c65651f7e2cba769daf1f618","datavalue":{"value":{"time":"+2022-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020357$8283EE91-02E5-4D12-82B6-116253B83AA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"411602fd50a29efe443398708958201e9d6f247c","datavalue":{"value":"https://arxiv.org/abs/1907.06541","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020357$2A711572-CD30-4BDB-80B4-B82BF2253FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d59b93afcf5fdac19a62f06c7366a9fec0fc7e9a","datavalue":{"value":"https://eprints.soton.ac.uk/438986/1/evl02.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020357$93F0CA20-EE2C-4DD0-973D-558CA43F9543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$A6CBB8D9-0EAF-4CCE-81CA-20D2B1FF33CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$2ED52ED1-0D7E-49DF-AA10-9AE53E6C20F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a406917f27637961e5e85205ca346bfc1b4be2e7","datavalue":{"value":"7452346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$1DCF821C-E9F9-42A9-880E-1B2A3C574C98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"782db6326b557ee047a23603d70fd47ca664b219","datavalue":{"value":"time-stamped claim logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020357$3E45839A-230F-4E9A-9CDF-1F6226FA7A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020357$A107D465-9290-4052-AE45-88DEADE53F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020357$A68C5D99-4A83-487A-91B2-9C70BAB71BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e904ada160807ec0c974eaee2ebc7f4cf399ced0","datavalue":{"value":"evidence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020357$2E263591-35E5-42B7-86AE-5D98E26CF1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adca50e4a63cd91c433adb9a29826649c0d5c1af","datavalue":{"value":"cyber security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020357$95B40221-727B-4451-BAED-44FDE928758B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020357$E080C7DC-DA3F-4D10-9383-05E3F5759ED5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b565f9b43be5e5420308f329b5e7c1931f36b555","datavalue":{"value":"W2999988572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$6834A10A-F42F-4939-938D-DAE87D87AEEA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe89006e0d2eef81fed992578409894658656eaa","datavalue":{"value":"Q126345769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$908873A9-D57C-40C2-B1F0-C2EDB04946D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"017db16978ba8018f03e608a582e5acafa972911","datavalue":{"value":"10.1093/JIGPAL/JZAA001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020357$06F48D82-5C7A-4F60-9D3E-24596AFE1760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501a90e9bc76e7cbec962e30f9dbd4a0276b7ec3","datavalue":{"value":{"entity-type":"item","numeric-id":3624009,"id":"Q3624009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd755bd14c26704ef85ef6feefae08775d3e153","datavalue":{"value":{"amount":"+0.6988196969032288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5020357$2E17A4A0-B2C1-41C9-9D0A-627C695B1683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba263754c79f701dbb0ac151785543fb2dd8a00","datavalue":{"value":{"entity-type":"item","numeric-id":1928821,"id":"Q1928821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0b950499b41289debae15523a5563bd04d35c5","datavalue":{"value":{"amount":"+0.6944388151168823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5020357$2D3EA2C2-F195-4A7E-ADBA-08668DCEA0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b6c2494ce95cd6e8253233424db61e6dae8cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3989935,"id":"Q3989935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a28f04b0fd1363f3e1f58e018f188694b3644d8","datavalue":{"value":{"amount":"+0.6807398200035095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5020357$6E2A0E06-1FD9-4C67-BC53-DEDE5FA45776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987646639d9a69c2fbdeea2fdade5057e4587753","datavalue":{"value":{"entity-type":"item","numeric-id":1679739,"id":"Q1679739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728c15f4d29b7f2e28f5da5261a78d52facab38d","datavalue":{"value":{"amount":"+0.6799504160881042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5020357$D5619C31-B6D2-44BB-8ED4-421F951E6F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df4bbe2b1c174f28140725e62d5209168ff2a82","datavalue":{"value":{"entity-type":"item","numeric-id":2364366,"id":"Q2364366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3747cb2dc07103b3c863fb6e91ff556f03b50d41","datavalue":{"value":{"amount":"+0.6774764060974121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5020357$3497F827-C4AF-44E0-B14B-78CEF31FBAD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020357"}}}}}