{"entities":{"Q5250317":{"pageid":7279885,"ns":120,"title":"Item:Q5250317","lastrevid":100620722,"modified":"2026-06-05T22:36:04Z","type":"item","id":"Q5250317","labels":{"en":{"language":"en","value":"Intelim rules for classical connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6437121"}},"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":"Q5250317$9EBBE13C-578C-4999-BDE0-9236610956F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"106382095d589dac2be2aecdf6d1ae443dbd982b","datavalue":{"value":{"text":"Intelim Rules for Classical Connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5250317$9B5091EA-959D-4558-854E-34787ABD20D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d6a71aa8de1121f24d3b71fdca8782a5f4e54c","datavalue":{"value":"1311.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250317$45153997-3D11-44D9-B1E8-93722DAC09EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c81aeaf4a106f27de61cc32bddb4d029459120b3","datavalue":{"value":"10.1007/978-94-007-7759-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250317$44B33771-145A-4EA9-82A4-0C87AF1E8D4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2155d0a5cbf4f5292fb5f783d530e443c94284","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250317$0B2E7C3D-F3A7-48F0-BD66-4BAF645B0EBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3b5873eb4953ffb416d1a7f0e40b5ad97d2c2ea","datavalue":{"value":{"entity-type":"item","numeric-id":5250301,"id":"Q5250301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250317$8259E3E2-E7C9-433E-999F-0637D4701B46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af872b12307f6e59fbb027cc58fd8691f1dd3f6","datavalue":{"value":{"time":"+2015-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5250317$FCE37D0D-229A-4AA8-9DBA-BB6276634167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250317$745D3CEF-06C4-4CA4-A7EA-BACDDD763204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"937e816d317329703f5b5d5bad5196759c88b7aa","datavalue":{"value":"6437121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250317$785A37F3-3689-48E4-9510-D5BF23A9EB57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df69291cf9a8b2de939f478c7d8fd63ddc5353e","datavalue":{"value":"intelim rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250317$CBCCE74D-3A3C-4CAF-ACDA-3EE5C278DBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f6d5b53f756c392009b630eca7276190d249a","datavalue":{"value":"introduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250317$353F43F7-8477-40CA-874F-920F2A1E4064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09af919acc2838f406da521dd64a3a017428c28f","datavalue":{"value":"elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250317$5AFF68DA-47C0-452A-9CCE-2C05EC4B0896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250317$435DA52B-E9E3-4A81-B3A9-53485A11A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d34e1ddb03ac7dd263bee5b70e17f2fdb89c93","datavalue":{"value":"truth-functional connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250317$D9C3A952-DF71-40C3-9D8C-1CA6018608DC","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":"Q5250317$F57638DE-25D3-4622-A69A-5AFE6182EC26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bf1acd348363662176f74a2f886ed7706036937","datavalue":{"value":"https://doi.org/10.1007/978-94-007-7759-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5250317$216E8879-2436-4CBA-894D-C5F2EA7EDACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ef0bf2cf46b1efafb6219068f1a45a46942327d","datavalue":{"value":"W2213601343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250317$6B375B70-8354-404C-9AE1-2F6709137AC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1773753ba42f6dbd60654b5a8296bfe7c70841ff","datavalue":{"value":{"entity-type":"item","numeric-id":288247,"id":"Q288247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0e5041b1b2d29c9b60908f9258263a697b3ecc","datavalue":{"value":{"amount":"+0.7586958408355713","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":"Q5250317$43ED7890-4B11-4479-8D2B-61452999D13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9c2ec1b16d8349f62d0f02ff26d230255295b0","datavalue":{"value":{"amount":"+0.7572771310806274","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":"Q5250317$196D1582-2FBB-482E-8378-D6313C30971A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c048891708de23fcab0c9666a0483d7016953e","datavalue":{"value":{"entity-type":"item","numeric-id":3691633,"id":"Q3691633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7252462dd69934d791aee7524267402339ee96d","datavalue":{"value":{"amount":"+0.7531838417053223","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":"Q5250317$14F90A93-F02A-4CE3-B376-CB1D1C3FB522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da58e6cf2515e43ce189a0c28694d37fe14ca6e","datavalue":{"value":{"entity-type":"item","numeric-id":5224496,"id":"Q5224496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c843d70052dd0dcaa59036e8355b2aa20e714d1e","datavalue":{"value":{"amount":"+0.7512319684028625","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":"Q5250317$A813FAD7-C5B5-4EEC-B2AB-BE1AD1F0453B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a8efd744864a668019ed8169ceccbbbada6037","datavalue":{"value":{"entity-type":"item","numeric-id":5213611,"id":"Q5213611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a188425617056526717dd61607daac060e1f5551","datavalue":{"value":{"amount":"+0.7439905405044556","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":"Q5250317$A15D0914-2B19-4FFA-8F06-D4300E01EADF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intelim rules for classical connectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intelim_rules_for_classical_connectives"}}}}}