{"entities":{"Q2936240":{"pageid":2946960,"ns":120,"title":"Item:Q2936240","lastrevid":58060455,"modified":"2026-04-03T15:50:04Z","type":"item","id":"Q2936240","labels":{"en":{"language":"en","value":"Logic of non-monotonic interactive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383705"}},"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":"Q2936240$014505C9-D231-41C4-AD6F-8C5181BA205D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4a8404b9925594d50f45c3284565832e1a180c","datavalue":{"value":{"text":"Logic of Non-monotonic Interactive Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936240$342EBB56-64AD-4D38-8338-1F483FFEAD78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3785ddfd8d78fecdf1f6582bc85cfe77d58578cb","datavalue":{"value":"1303.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$2CBAFDF7-A6C9-4FC4-B8E9-98A9B9EB6D50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5491f7813e8542eea0fb22ffbddc668b954aaaa8","datavalue":{"value":"10.1007/978-3-642-36039-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$2EA104A7-3438-42BF-AA07-5B0C435FF896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd61f6f0a6e10224b2c931f58c88a97cd984a7fe","datavalue":{"value":{"entity-type":"item","numeric-id":276033,"id":"Q276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936240$2B82BEDD-A332-47BB-9697-6FF77D60591E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936240$2B1CB4B5-993E-4176-A2B6-1BD84EB6D18E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936240$CB6176DA-FC07-4FCB-82B7-16C2D7FA69A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58f73730c82ea8446d6bcfe2d10fb7db1ba8d98f","datavalue":{"value":"https://arxiv.org/abs/1208.1842","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936240$070C1C47-F0FD-4512-A2DE-A6FF067FDE68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$32F8ABA7-7513-4C17-A4E5-650C04D61574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$4364FD84-D3C9-4197-B41F-2F6FCDFFCF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$213ED598-D172-4BBB-9102-BC08F151B9BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4058fa3f27f5ea80718f8e9de9e87e1fe3758b3","datavalue":{"value":"6383705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$30B3F600-7F83-4701-9748-3D4CADB8E27C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165edb0ceec0bcf33cbc8b647fd6ad82b9480531","datavalue":{"value":"agents as proof- and signature-checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936240$2ACBC874-A996-405E-8FB5-6ED45015F750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98243180e3c7f7cbe5e15e44629c7befdb7f553b","datavalue":{"value":"constructive Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936240$67B718BC-D756-44AD-8406-B4C754F68AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6a325bc7f27b769f0c270b2bcf6efd7835be33","datavalue":{"value":"interpreted communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936240$FB26B761-A25B-4678-8CD3-C9BBB83C0C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178edaa96901cb6ff10603d78d05144cd309693a","datavalue":{"value":"multi-agent distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936240$0E681E94-834F-4F0B-9C45-391FACF36DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c207c42f247cb74a11b750518f1c9560ee25e754","datavalue":{"value":"interactive and oracle computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936240$C33EE883-27E0-4DD3-BEE8-48775E1B5BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4effca102c02c5c2da1a4342f7d11f98d75619c1","datavalue":{"value":"proofs as sufficient evidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936240$C41EE10F-7B64-4E7D-B957-E9BFBA9CA2FE","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":"Q2936240$279185AF-62BB-49F6-88B7-6A8412D7EEF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27acc5d893a0f13ec9130c9dec00e5a8d7ca8723","datavalue":{"value":"W3101678140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936240$D150C6F8-D17E-4EB0-ADAC-533580ED3E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f43f83747fd6a09d40ba03c4910bb9cb956806","datavalue":{"value":{"entity-type":"item","numeric-id":5277900,"id":"Q5277900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6998dac4b1f5ce0e302a06a51df08f6278083c88","datavalue":{"value":{"amount":"+0.8533909916877747","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":"Q2936240$20941D0D-357C-41AC-8824-4677C34B8B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958b1abf97932ff1d8b8717fd14c1e63df61cc89","datavalue":{"value":{"entity-type":"item","numeric-id":276034,"id":"Q276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e06f2dce439cf531f657896d54467be122b6316","datavalue":{"value":{"amount":"+0.8134838938713074","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":"Q2936240$02F816C5-2EB6-402E-A1FE-D644ADCFC9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529f57cf2486fa6f1ad29000aea3cd531e563807","datavalue":{"value":{"entity-type":"item","numeric-id":3989937,"id":"Q3989937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46aa4737f3d8f7bf3da9ff1c0c6f9281a26d4a0f","datavalue":{"value":{"amount":"+0.7347248196601868","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":"Q2936240$F9DD2344-15A0-4034-983A-B6B378CFE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8bc2e16c1947230d72705620d97d6bd00976af","datavalue":{"value":{"entity-type":"item","numeric-id":929292,"id":"Q929292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46aa4737f3d8f7bf3da9ff1c0c6f9281a26d4a0f","datavalue":{"value":{"amount":"+0.7347248196601868","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":"Q2936240$9FEFE04B-520C-42A1-B30E-3F53B619C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8d5b9a56998edfb85efcfa8c1e22ac43bd49","datavalue":{"value":{"entity-type":"item","numeric-id":3218103,"id":"Q3218103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffca1db74de0e726877d7f6fca6fdb1f54a3629","datavalue":{"value":{"amount":"+0.7171810269355774","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":"Q2936240$28D0E659-61FC-43EA-8DA3-B635EAA70EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936240"}}}}}