{"entities":{"Q3544315":{"pageid":5574219,"ns":120,"title":"Item:Q3544315","lastrevid":90279959,"modified":"2026-06-04T19:45:42Z","type":"item","id":"Q3544315","labels":{"en":{"language":"en","value":"Replacing Modus Ponens With One-Premiss Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378862"}},"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":"Q3544315$88835E36-C139-4312-9F05-343612B49DA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae677f581779fbd7cb725ecade609ae6082fbe7c","datavalue":{"value":{"text":"Replacing Modus Ponens With One-Premiss Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3544315$60B633F8-B1A7-43C5-9778-ABF8FCDB8466","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28c91f11a3c5eed9bcf3c1f33261eb8182d76a1e","datavalue":{"value":"1154.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544315$133359AD-D603-435F-BF78-0109B7A74D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3544315$0B1C3611-3360-4477-8E6F-6A3FD300AF0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85c956bb62834fd3366db6abe30b39dc8a24e17e","datavalue":{"value":{"time":"+2008-12-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":"Q3544315$7ABD4F08-4ADB-433B-BE53-A2DB204AA584","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544315$642369A0-B179-4D45-A621-651A65C34A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544315$D68224B5-26C9-46B0-AFFA-FB3B6B286408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3e85936ece5f4f03c8a8e424e370c0bd9a2125a","datavalue":{"value":"5378862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544315$4F29690E-F2A6-4238-9941-00E23E0D847E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544315$DCDCE949-345A-4318-8AEA-17B1D57A234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882d99289aa9af098051b83a2406b55ca6378e71","datavalue":{"value":"one-premiss rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544315$A1211D83-1F04-491E-96B7-78CB514C848A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544315$FE6208F8-377C-41F7-99BE-C028F0AE9EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd770a957aafa34f3f88cf2bcb099f2f123f1669","datavalue":{"value":"meta-rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544315$166FA3C1-7804-4144-AB7B-66FCF8EF2F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ead7e16d5225b4cd98d2bcabc7c6c792994466","datavalue":{"value":"sentential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544315$78C6B321-EA19-49B8-A95E-E188B17ACAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544315$FEEE0614-4E94-4847-9888-53881FDD7CAE","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":"Q3544315$A545E978-F46B-4DF0-B1CE-99F7D1589173","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ab81511392f70a13beae64049de7e971f5dee70","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzn017","type":"string"},"datatype":"url"},"type":"statement","id":"Q3544315$92BD5024-8F4E-4527-A40B-27CA76E302D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2e5e914b4caef2dc83e9c313d378ef4c5b855d6","datavalue":{"value":"W2125160020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544315$B9428268-DD87-4FAD-B1E0-5EBB830446F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb33eeb859b07ab3ace508c8e6fc0420a8264cf","datavalue":{"value":"10.1093/JIGPAL/JZN017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544315$45B0BAA0-576B-490B-A565-02D5D5246DDA","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":"Q3544315$9B5DC182-7AF0-481B-B850-949EB787752B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60be1b31de351d7678fb6a38177e34e58fd262c7","datavalue":{"value":{"entity-type":"item","numeric-id":1076008,"id":"Q1076008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04b07e73d2d7ea89af90294eda003d92d76a1ae","datavalue":{"value":{"amount":"+0.7353596687316895","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":"Q3544315$93E68EED-25CA-420A-B004-2FF809BF27FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e692507bce0af246ed60eabbfb690b62714fca","datavalue":{"value":{"entity-type":"item","numeric-id":1947034,"id":"Q1947034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d2026d41e319b063c3db601636cbf49842a0a1","datavalue":{"value":{"amount":"+0.7346775531768799","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":"Q3544315$C582AF80-8724-4EDA-AD34-A4A80951450B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c9d8ed5c8799b2d1445ace8d5470b3b72ff84","datavalue":{"value":{"entity-type":"item","numeric-id":3290718,"id":"Q3290718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1789266fb41654694cd8b205e43fe1934de5407","datavalue":{"value":{"amount":"+0.7196561694145203","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":"Q3544315$B1560E7F-B27D-495B-A378-0944887D70A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87841b06f6d81884acd1204a2d1928d4d84031b9","datavalue":{"value":{"entity-type":"item","numeric-id":2534156,"id":"Q2534156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1aaaed860bc8f0cfbd3b26aa811e0876db91fd","datavalue":{"value":{"amount":"+0.7116581201553345","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":"Q3544315$28DAE421-E626-479D-B4BD-208C651F0750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47b2cd59f4f35f3874d1a5c98b606bb7502c5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4856945,"id":"Q4856945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb7a5dd6d7123188fc8bdfd40fafecd50556aad","datavalue":{"value":{"amount":"+0.7047557830810547","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":"Q3544315$FC0A4511-5340-4AA5-8211-4DBA054053E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Replacing Modus Ponens With One-Premiss Rules","badges":[]}}}}}