{"entities":{"Q1844202":{"pageid":1854944,"ns":120,"title":"Item:Q1844202","lastrevid":82006070,"modified":"2026-05-06T19:52:29Z","type":"item","id":"Q1844202","labels":{"en":{"language":"en","value":"Nice implicational axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3443614"}},"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":"Q1844202$49E0F363-9361-4618-BD11-6E85814F6C39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c11a732ac7e80c248c9efdcb2c0756fee6cad96","datavalue":{"value":{"text":"Nice implicational axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1844202$A07977BB-C765-4840-BF31-1AC8B470C0B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba23649c5e991c5953d0cd4074de61904caf3b99","datavalue":{"value":"0283.02010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844202$8ABAFD63-00BE-4504-AD45-5F1B42B7E82D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"234f6e04c5f2450399ed67c7aa0bf82eb78ebfc4","datavalue":{"value":{"entity-type":"item","numeric-id":1215611,"id":"Q1215611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1844202$9E30319F-7976-4A1A-9DA4-DCF1F74B50AC","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":"Q1844202$1295A0E9-B73C-4316-9018-80ABE5A82FFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1844202$2ACB45FD-1FD8-49FD-B63D-3258CEC59F51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"953af0b689f59bb265dbae075c36eeef718e8684","datavalue":{"value":"Simp, Roll, Weak Syll form an axiom set for classical implication having respectably simple structure and exceptionally easy development.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1844202$DFED8324-00AC-41FA-9A86-0E02EE8CEB01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844202$E62CF606-924F-4D89-9CAC-BA8CA1955FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a90250e87cf748aa9bb7464f5835728c66628948","datavalue":{"value":"3443614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844202$307E4DCF-2F27-4734-B585-447F2FC52B9E","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":"Q1844202$68EE8590-1693-4CEF-A05A-A6186B8EB549","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9b27d4c895a45ee48b911a6a1f2987ca5615793","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891887","type":"string"},"datatype":"url"},"type":"statement","id":"Q1844202$D97A636B-6AC9-4DD3-9777-8F3A14F13B8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"298bea99ecabda496125e3b02a2d65aa301c8841","datavalue":{"value":"W2011198668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844202$EBD2FEF7-0DE8-4F56-AF5E-F5FE1A378F4E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fae0875ec5aefab9ff2cf88e2df2a4673a56123d","datavalue":{"value":"Q114598225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844202$CD0DC807-4439-4020-906F-2E3E0699AA97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31df11b02218de9ed743e0c2dee53f370fa7970f","datavalue":{"value":"10.1305/NDJFL/1093891887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844202$AF51DB05-A36E-47F2-A3A4-75649A93EE62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d665daf53a887d9163b7afc56f903c8db72c17","datavalue":{"value":{"entity-type":"item","numeric-id":3625736,"id":"Q3625736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d24942168a61ddc0b6570031fa0d484ee337c54","datavalue":{"value":{"amount":"+0.8719752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$33F4EA0A-29E0-43BB-802E-6543C37713B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a29fe71491e8c362427bb8f37b882a51fa5ee9b","datavalue":{"value":{"entity-type":"item","numeric-id":4489081,"id":"Q4489081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a72d6cdcbd63e0240a49c1abada9a70355dd7ba","datavalue":{"value":{"amount":"+0.8662554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$63B492CD-C240-4042-A189-0CD5A7D9A16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bef07dc3622fce61f1d0e7a57ce5f825a3f8603","datavalue":{"value":{"entity-type":"item","numeric-id":1330909,"id":"Q1330909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db2dfab427b2454f6d332a9b933abce705e5770","datavalue":{"value":{"amount":"+0.8658009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$BDC976FF-FF94-4192-8A41-751F78F10E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4382064de68c423cd56f9509f3a80806766951a0","datavalue":{"value":{"entity-type":"item","numeric-id":3317086,"id":"Q3317086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c9f8bd11c7188e2bc598380dde0a8b2298ef12","datavalue":{"value":{"amount":"+0.857195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$9A1FA40B-7C02-4883-8B05-51CA89BD3A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe9dfb7d7440087dbfa1a41054999738b2d645c9","datavalue":{"value":{"entity-type":"item","numeric-id":3220560,"id":"Q3220560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c9f8bd11c7188e2bc598380dde0a8b2298ef12","datavalue":{"value":{"amount":"+0.857195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$7A802C94-CD8C-46F6-B179-8089B54A857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9e128e0ff2adee6188e89166ee9ba3f9a01a1e","datavalue":{"value":{"entity-type":"item","numeric-id":300555,"id":"Q300555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabcfe23c7643120eefec4bc0578df3e8eeeaa9c","datavalue":{"value":{"amount":"+0.8550833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$6A22B574-7D2B-41B9-A015-067AB8E90515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167a6ed26871a52422908a403b9552ef4fbf5f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4821863,"id":"Q4821863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987bcd197fe3b81ff8eae2de1b9fa3d941b51a22","datavalue":{"value":{"amount":"+0.8548488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$B09508D0-D501-483A-9396-72E7CDD053D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198ff9a90c8b1903f6c41dbba5534db86e314309","datavalue":{"value":{"entity-type":"item","numeric-id":2879888,"id":"Q2879888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be8ba33d807c765df20a5363573a982e76ca189","datavalue":{"value":{"amount":"+0.8524789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$4E49979F-7106-4130-9FBB-9D0D994CCD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1ff08fbdda17bf7d34b5007ffedf5ffa163966","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc797b20a13adc50c6e6f2f15a03f2559845bf9d","datavalue":{"value":{"amount":"+0.84977835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$CB5D6863-3749-49E6-BFE9-32C88725DF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c51da6fe135b4276119e1c108289d11b2f15a3","datavalue":{"value":{"entity-type":"item","numeric-id":5560260,"id":"Q5560260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123ee11b4057c68fba02a22c355c932ef495e3c2","datavalue":{"value":{"amount":"+0.8479607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1844202$B6967101-A2BA-41BA-BA90-32900FD57EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nice implicational axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nice_implicational_axioms"}}}}}