{"entities":{"Q3487317":{"pageid":5517217,"ns":120,"title":"Item:Q3487317","lastrevid":49408642,"modified":"2026-01-07T02:54:11Z","type":"item","id":"Q3487317","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160687"}},"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":"Q3487317$DD29A8B5-A38B-4B7E-A90E-F6F0E25E7520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9550bd4e1eb0e10b31b9316aac0cee8f6df8b80","datavalue":{"value":"0707.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487317$041B38E2-CE4E-48E9-8E35-2E1E71DFE954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bfdbc4a2ad3e39f1d3ddf9a7cce10575529b4c","datavalue":{"value":{"entity-type":"item","numeric-id":516416,"id":"Q516416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3487317$D71F5CEC-67DC-41C2-984C-F41B8159FCB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3487317$E2184CCB-8695-48CF-B1CF-CC575EA3EA01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487317$C7EF8610-9047-48AA-AA87-68C6A4666348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487317$39ED91BE-10AC-42CB-92CA-15D8F2B689BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487317$534254E9-3F36-4F1A-83A7-7227D6AC6DC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6998ce8c270dc42cc0fd2e3bb96ccbda3c9e359","datavalue":{"value":"4160687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487317$3BC62D8D-631A-4419-B7DF-21651CF1D64A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063df9a1fbcebc5cbdf396b161f9aad136c0e099","datavalue":{"value":"Robinson's resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487317$87C3C90F-D313-4EE5-BFF1-DD4CC3CD7E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487317$B3F258EA-2C8C-4510-90DA-A55D12AEA711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3c270a62a95af3d4b4723dda6c838fc9354f21","datavalue":{"value":"strong negation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487317$4B469750-9AD7-40F6-97F9-3FFB69F1819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487317$BA529C3D-43C0-4C43-BC1F-0365A6ADB37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487317$301C08D2-0F08-4A77-AD32-3E35C7E95654","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":"Q3487317$C236E549-20F9-4482-999F-24A913AC6B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089712b1aefb9a812f71c9db1efab06ef62497b2","datavalue":{"value":{"entity-type":"item","numeric-id":687163,"id":"Q687163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f632ef8039e0fc4f9251bb50b003c7ca8dd2cf1f","datavalue":{"value":{"amount":"+0.8229447603225708","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":"Q3487317$08BC6371-1F0C-4D87-ABF7-FF9F7D5CEEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f395577fbcc727f3706479ec8892d242b633f6","datavalue":{"value":{"entity-type":"item","numeric-id":3348885,"id":"Q3348885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f632ef8039e0fc4f9251bb50b003c7ca8dd2cf1f","datavalue":{"value":{"amount":"+0.8229447603225708","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":"Q3487317$1E1BA46D-563D-4EEF-967F-67302852E401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0b01846ea274ab98b2c8fc4ac22966ffe69a7a","datavalue":{"value":{"amount":"+0.8019794225692749","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":"Q3487317$9F51D9EB-E09B-433F-8A9F-9E841A475161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d735d34b01b4e684efb8d549cd57244b6fa8a8","datavalue":{"value":{"amount":"+0.7990930080413818","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":"Q3487317$974F83AE-E9E7-4A4A-84C2-ACB688DD06C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac6eea3e85211812ceccf9023b9ec7e4435599e","datavalue":{"value":{"amount":"+0.7918793559074402","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":"Q3487317$67F144F0-D751-4BC7-BA76-1DC6C6F892C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3487317","badges":[]}}}}}