{"entities":{"Q3360159":{"pageid":3370864,"ns":120,"title":"Item:Q3360159","lastrevid":49533850,"modified":"2026-01-07T13:26:06Z","type":"item","id":"Q3360159","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212005"}},"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":"Q3360159$88ECEA4B-AA46-4132-9E12-1DBCC7B5624F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bbcc2ad08589debfb6c361103806b6089456fe1","datavalue":{"value":"0733.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360159$C76220F1-448E-45C9-87C8-A2389EE71914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3360159$933CF196-431A-488C-93F5-D0F7BDF0117F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360159$171F3B96-0C59-4F83-80B3-F0609A438FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360159$95421ABB-85C1-4759-B50B-E9C87F60971A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c28313ae48dc5fa746e457a6e8d1b9017adbfacf","datavalue":{"value":"4212005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3360159$FF66C3FA-898B-4A1D-9EBC-C144907D6064","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20e35afadf659c240174bb0ef0c53fe92713449","datavalue":{"value":"unprovability operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360159$A8F57A87-DE5F-4BD4-88F5-B184C4A439DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360159$A231809C-3210-484E-B57D-EE75EE159A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f556bfb3bb1fd5adec0361800a8b37bb88196398","datavalue":{"value":"propositional normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360159$A9562BEA-BA2E-4E74-92BC-3E5C7A676B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3360159$816AEF51-2FF8-46E5-A6AE-8FB188B3082E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3360159$022E0707-D11E-4806-B3D1-70EEDB123A28","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":"Q3360159$0560C830-80CE-4597-9BA5-822BC20C4F94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d07067797266df2d94f4e2753c3c55d85b1b87","datavalue":{"value":{"entity-type":"item","numeric-id":2498907,"id":"Q2498907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71498ec084ec6a9fae37f4ace8ed1e1a46fed482","datavalue":{"value":{"amount":"+0.7909502983093262","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":"Q3360159$D94C5BCE-9A80-4EE0-95DD-DEE301FC8502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78565ec7049adc4da51a336007ed0d26ce86c68","datavalue":{"value":{"amount":"+0.7802278399467468","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":"Q3360159$9F77A731-1533-46BF-BDDA-303022D5DDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b3baf486467b877f7895f69cd8a62ca31a6d42","datavalue":{"value":{"amount":"+0.7663320899009705","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":"Q3360159$1E7F9A28-A106-40F1-B43A-D1B32FEFBEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca62356704fa695e905996a0c611589544600ab","datavalue":{"value":{"entity-type":"item","numeric-id":1903134,"id":"Q1903134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396157d8ab0cc353f4003467b206ef3714315448","datavalue":{"value":{"amount":"+0.7647600769996643","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":"Q3360159$3BDEB87B-EE04-4DEC-A99E-7D1B430DACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3e79a6175c639ed75d8b0aa9af52759c22e853","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ce9a2bad260dea1dbdad175e24d23460b6b5d7","datavalue":{"value":{"amount":"+0.7592151165008545","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":"Q3360159$C089BE2C-BDC3-49D2-B22C-A3CAB45241A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3360159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3360159"}}}}}