{"entities":{"Q1182703":{"pageid":1193452,"ns":120,"title":"Item:Q1182703","lastrevid":70202682,"modified":"2026-04-13T13:08:28Z","type":"item","id":"Q1182703","labels":{"en":{"language":"en","value":"Decision procedures for logics of consequential implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31810"}},"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":"Q1182703$1F9F198F-9C20-4A53-8F02-29A98854642C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"778354d27e0c3357aca0dc82ebf1db69179c7e47","datavalue":{"value":{"text":"Decision procedures for logics of consequential implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182703$1E0B13BC-5830-4593-99B1-4B2423F104E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"395027e76a785f59311ee31006288bfd8c47a2d4","datavalue":{"value":"0746.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182703$895958AB-9D62-4EC2-BE7D-8033B2A4BAC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182703$784703B9-B50C-4534-A8F2-50CACD97379A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182703$942EA62B-8FCE-4B8B-B99C-E18238CD0EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182703$B645D731-045B-4AB3-B1D7-9203C1CFCE1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58052aa8808ba1365ee6d6b78d9c7a36fd288f83","datavalue":{"value":"31810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182703$6A8C8579-002F-4F4A-88DF-725D65BA6F83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f883275accbfce1aa4fce7160df49b84a370781e","datavalue":{"value":"consequential implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182703$A463F285-0CF7-4746-866D-C5061A8C6CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c833ee20e3f25cb5071e04453c316c7a780af6e0","datavalue":{"value":"connexive implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182703$4B812ABA-3E57-4B4C-9795-A5E501E06B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda972cf0296a4c597f6ed6e0472df0de01e68ed","datavalue":{"value":"synthetic conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182703$1EBB289F-003E-4134-87C5-B964FABEB52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182703$346FFAA0-1C24-4047-9897-99CC8858A67B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc4db0bc75be6e11f1bfd9cfb84eda0e22174eb","datavalue":{"value":{"entity-type":"item","numeric-id":1653646,"id":"Q1653646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182703$C73B753B-49CF-4224-85B1-2073366B0E6D","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":"Q1182703$9AC40525-09B0-45BF-B025-675A0A3B9801","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e39dfd9e35a224832d0e22c2d414473fe698cf50","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635934","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182703$AF551575-D976-48CC-9492-908CEA57F02F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"803193370706499b37fa8957b35835b45e4ab3cd","datavalue":{"value":"W1995575236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182703$862D3654-C4A3-4923-AAC4-3228892E5B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9352cac52577bfa8a7967ad57df472200dd8071d","datavalue":{"value":"10.1305/NDJFL/1093635934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182703$8F6438B7-75E4-4CF5-B016-8D2079B13A8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885ebf5a44791a4883bf60f889c5eb50093b1332","datavalue":{"value":{"entity-type":"item","numeric-id":4835615,"id":"Q4835615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e2ddd2e9812cf3f8900f19f22bd425a6dc56a1","datavalue":{"value":{"amount":"+0.8495000004768372","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":"Q1182703$DFE8472B-2577-4E70-93F7-F2604C549A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940ff7c62ca292ab53413245380193be550cfa57","datavalue":{"value":{"entity-type":"item","numeric-id":1653647,"id":"Q1653647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d804b5cc3d9a51d1dd1608e609dcfaf726ab6ec","datavalue":{"value":{"amount":"+0.8113464117050171","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":"Q1182703$3D98544C-5A87-46EB-A597-04B2EF246421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff7ffb26c8dc809879f8b60c73fdcff37f1585f","datavalue":{"value":{"entity-type":"item","numeric-id":1317981,"id":"Q1317981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe261bbab45498ca9b5369ef877a4a3667758ac","datavalue":{"value":{"amount":"+0.7974537014961243","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":"Q1182703$D9C647D5-BB6D-438B-B993-9102982E6C8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for logics of consequential implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_logics_of_consequential_implication"}}}}}