{"entities":{"Q5957913":{"pageid":8134715,"ns":120,"title":"Item:Q5957913","lastrevid":102076664,"modified":"2026-06-06T03:26:02Z","type":"item","id":"Q5957913","labels":{"en":{"language":"en","value":"The single-conclusion proof logic and inference rules specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719228"}},"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":"Q5957913$D955E20A-DA94-48BA-AE9A-93FA9E420854","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68d65ae95b94ecb6aeefe462548881af6bb72ac","datavalue":{"value":{"text":"The single-conclusion proof logic and inference rules specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957913$ACD3668B-0432-4ADD-9FED-8E89F6D544D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4322bc350620b390916d3e6808e0a86048619534","datavalue":{"value":"0992.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$6A990432-8A12-4BA1-AD35-84A392DD3A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caccb1bc95f610d2bb2e661cb0b82ae9721bf4ce","datavalue":{"value":"10.1016/S0168-0072(01)00058-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$85FDDC7D-7023-4AEE-81D8-A5ADA5A4F657","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$2647F13F-7EF6-40E5-8F3E-7F51EDF44D42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$1BE93612-6905-47B0-AA1A-081EB804CF70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957913$64165198-AEA6-46E4-BB11-45BF191C817A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$0759DE2B-81C3-4871-A53D-9C8AAB9233F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$F16C09D7-5B3D-483B-A3DD-9B3F957DB3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$C7054828-A027-42B6-8724-5A141D95CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$0930E03B-6DAA-4229-9CAA-2ABEF8DBD399","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37e6c5ddab140a6166a5c1a6c3deca8a5eddfe53","datavalue":{"value":"1719228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957913$AAABF8AE-1682-432C-83A2-8AFD0FDE6F73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957913$68A4E24A-8E08-43E7-B22F-72AB7235F122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a26a271d33d72fe20f2b4a2133c9d868293a599","datavalue":{"value":"explicit modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957913$242D012F-E29B-4F9F-B8EF-06E5B353D693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dc4437e1537bc99eddb34c17b251236cd03d53f","datavalue":{"value":"single-conclusion proof predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957913$CFA94784-FBAA-453A-9A13-BE26347998ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb3100754a4a6d00fd4f42625ce2e1ccde7811d","datavalue":{"value":"proof term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957913$CC7D1BFB-48A3-4A6C-B0F6-5253B75928CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a4708e93c201e75bb8a89743c4aca236d1c490","datavalue":{"value":"inference rule specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957913$A05B06A8-FEB6-417B-ABB5-7BCF41D772B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957913$6A67E51F-19E4-4279-AB0F-0EDC93060E82","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":"Q5957913$08DD90CE-2D3D-4017-9FC8-BAE9317E473B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$D6DC1231-74D9-4951-AA60-FD14C770F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec34286d094046d4e5290c752ab0869bd40e0615","datavalue":{"value":{"entity-type":"item","numeric-id":4501133,"id":"Q4501133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$3A5E8246-367E-496D-8044-2CD48D4873AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35cb7af4d44872eb1fce32bf7b0f6855890ad5b","datavalue":{"value":{"entity-type":"item","numeric-id":1919761,"id":"Q1919761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$3452E71C-474B-4EA8-B643-5840D2DA60AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$1394092E-E143-4065-8522-DA7A632E5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$E350A4E9-84C2-4877-86BB-E48F7B2528D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195ddaefdbeb162faebee071a6ec419bddf444f4","datavalue":{"value":{"entity-type":"item","numeric-id":4376057,"id":"Q4376057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$1D37707F-33C2-4635-A066-0B61AFD53623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$1A31BB04-E01D-4B72-A2B5-C2E675E089A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$A56596CC-C5C1-471E-8AAA-86CB58E19537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957913$FE64CCC4-68EC-466D-8117-1D3900AD9291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f8b0091a4c1ee5908d639a495fa6a3dfe32071","datavalue":{"value":{"entity-type":"item","numeric-id":2500486,"id":"Q2500486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1052d49fd74942ee77c2fb249a68b8e53e98d9ea","datavalue":{"value":{"amount":"+0.7817872762680054","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":"Q5957913$732A40A5-D6D0-4417-918A-657328BBED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121f9e2ce3f64d7b853e7d0e3a801cfe0453f321","datavalue":{"value":{"entity-type":"item","numeric-id":3173324,"id":"Q3173324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00decb1eda4efec4b8c8f87194db01ad3bcf4f68","datavalue":{"value":{"amount":"+0.7745490670204163","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":"Q5957913$7E23569B-1333-4A9E-A0D8-F9D5E8A593E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b89b84c9849a461725254fda73679b2b24412e1","datavalue":{"value":{"entity-type":"item","numeric-id":3431965,"id":"Q3431965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f35cc83b3e306d12017c88008217b655071e597","datavalue":{"value":{"amount":"+0.757781982421875","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":"Q5957913$38B1B398-F731-480F-B6A3-1CA1E4F29B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4096b7bd49d144aa4f366d46e745788fe569f929","datavalue":{"value":{"amount":"+0.7354990243911743","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":"Q5957913$3ACCF1A3-0DF0-4401-9A09-7E44E74EE8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0b5f8ff389b4318ea9b4095effd578d2f46715","datavalue":{"value":{"entity-type":"item","numeric-id":4712747,"id":"Q4712747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817d8273fa874aa308a63c015ddd43c8e0c5171b","datavalue":{"value":{"amount":"+0.7332882881164551","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":"Q5957913$A39B82DE-CD75-4E63-ABDD-BBA8AF651E83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The single-conclusion proof logic and inference rules specification","badges":[]}}}}}