{"entities":{"Q2204366":{"pageid":2215109,"ns":120,"title":"Item:Q2204366","lastrevid":53845427,"modified":"2026-01-25T19:50:58Z","type":"item","id":"Q2204366","labels":{"en":{"language":"en","value":"On the independence of premiss axiom and rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7261468"}},"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":"Q2204366$BE565496-EE4F-42AD-99DD-BA280D71F58D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c31668e76f69d337350d8acabb9191d1a710c670","datavalue":{"value":{"text":"On the independence of premiss axiom and rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204366$88B3BB61-2BB9-44F7-B881-3FC10D6A2958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b6a6fd18fd932d421fb07a9edb0c51211494a23","datavalue":{"value":"1485.03249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$DEBFF1CC-C749-464D-8967-22FBA5D67423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$FCC6FB36-96C0-46B6-AA97-22019812CBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44622238969ceed011f8b0cfcc8c06015ed49f3","datavalue":{"value":{"entity-type":"item","numeric-id":781508,"id":"Q781508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$448406F0-F9F8-4470-8EA2-E91CC798C750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$8A9F3A07-9AAB-4E51-AB19-D19D17C6A552","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74f969d0fb9bfcdfa4b8edd3d369bcf872715087","datavalue":{"value":{"time":"+2020-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2204366$C0B93EA9-EDAB-40F1-8F50-4531E6C546C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$55E95B18-1197-436E-A74F-962E8B7F39B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$A4730687-BA38-4900-92A5-4100F80459D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76e100dc09c1dd14969cef28613fd1f70122935d","datavalue":{"value":"7261468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$B2E2BAB7-B760-49BA-BFEE-B6FEE3212CBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687a92a74c5cb8ee39e3c880f2ce0c8eae7ffa8f","datavalue":{"value":"independence of premiss axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204366$FD134C44-A4BF-4262-850B-50073E93F46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7865f57d58400a4cfec2a6d8b6911e5d3f4e4789","datavalue":{"value":"independence of premiss rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204366$5C01E211-6CE4-4467-A37E-293C395FA1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666211a6949d1f929c7470dfa0ad38f7b5812750","datavalue":{"value":"non-classical axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204366$8FB374ED-612D-4EF8-B197-47619AADFEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06e4c7751df785d6c0062b312a7d0619bdee042f","datavalue":{"value":"non-constructive axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204366$26DB5C6E-1934-4F05-A7C4-EF95BA57F92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827e1f433d597956854d6d9c83d5c4f27d3f0ae6","datavalue":{"value":"functional realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204366$8D10B42A-D05C-4A37-8FBF-0A8F02B423F3","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":"Q2204366$98DB3D74-B426-4F83-98ED-6F86E3A2D260","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5e38c1ba9722872e3788c5c748f58466d7a83e9","datavalue":{"value":"Q114018304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$14A99DD1-0C81-4549-BEDB-C249095E465B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c3e28d8e77ac1a7058a8ffa8a9b61cc466f2cc5","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00707-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204366$F380A3EB-E62D-4628-8F67-E79C51AEECB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90be8692616131f71657c88c0e4391b372f3be8b","datavalue":{"value":"W3005043971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$E5831C77-2CEA-4C5E-A7F2-EF3061DFE7CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80279f2e302dee317d44cd41671e94e6a4fcd452","datavalue":{"value":{"entity-type":"item","numeric-id":2793909,"id":"Q2793909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$86210ADB-5AB0-4535-97A0-1860DBC4E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$2A9ADBEA-EFBD-4DC2-97BE-9591C7C6C90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$4B67ABEB-A4A4-440F-A119-15A1AADA067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$8D55FFE5-EB5B-4E97-B01E-0547443713AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e989f09e61e327a727c252a16ddea0fef3929b","datavalue":{"value":{"entity-type":"item","numeric-id":781509,"id":"Q781509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$A4F66862-4EAB-474B-9206-A56720FBE0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$59543288-1864-4AE1-8BEB-20BBFD0ECDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$2049AF3C-E9D6-41CD-B82A-DED42CD7CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204366$7C127C05-FB90-4577-B829-50142A12F666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15a898aee12e5eb00ac8b17f0296a2434a5f3c02","datavalue":{"value":"10.1007/S00153-019-00707-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204366$E3818C6D-23F4-4E94-BF96-EED7648A6B15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371fa17c2a2b27f7f9ba706087bf62fba351364c","datavalue":{"value":{"entity-type":"item","numeric-id":2793909,"id":"Q2793909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146577a448dcc2a5d0f8da39847b8a2c19e5e6c5","datavalue":{"value":{"amount":"+0.911981165409088","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":"Q2204366$19660BE3-2131-4FF6-8247-884F7BAB3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f54d3b35be5c0a79ccb36d4f1679168b753543","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bb88f4836104227e8442632141c810be1d6f8c","datavalue":{"value":{"amount":"+0.727769672870636","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":"Q2204366$495E58F8-D0FF-48BF-904B-E1034E640767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276183bfbb11ba872b4c43c5d040a08f7dcd8256","datavalue":{"value":{"entity-type":"item","numeric-id":3718687,"id":"Q3718687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012d0e4033101537acc269cbac61dbc17ecbb117","datavalue":{"value":{"amount":"+0.7226491570472717","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":"Q2204366$7FAF2875-4B52-4A4A-BDAE-A76C9E963E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da38321d5584fbccf506bd2fa42bd21f829af2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5441072,"id":"Q5441072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03aef209bbef0084ce46e8904d2b437bdc15f689","datavalue":{"value":{"amount":"+0.7200133204460144","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":"Q2204366$B909B2C8-83B7-43C6-922F-DB68C8A18396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee0f26e85e2e2e5e7401f4e3f865e337e6c579","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02233236e038eedec7da41f2eb438f3a4119247b","datavalue":{"value":{"amount":"+0.7185925245285034","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":"Q2204366$06F6266E-E26F-4066-A9D8-0F723A3810D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2204366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2204366"}}}}}