{"entities":{"Q3607560":{"pageid":5637466,"ns":120,"title":"Item:Q3607560","lastrevid":49672633,"modified":"2026-01-08T22:32:26Z","type":"item","id":"Q3607560","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5521794"}},"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":"Q3607560$4E144370-DFF0-49AD-A767-1D3B8088B048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f1fec5c69012c81712673cf3e746494b34cc17c","datavalue":{"value":"1163.03310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607560$66B18636-8CC5-41D6-AF0B-179AC63D642F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3607560$1E2C3F11-2A1D-4E1A-9A4A-6DB0BABA6BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3607560$1CE44775-19AB-49FF-8325-95E183AE74EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607560$E9B89F13-BBC3-4F3A-8C26-B4416D1541A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607560$B74362EE-FF81-4652-A38F-7288410190B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607560$04849AE5-23BE-47B1-9F6D-B7BBB9FE6E06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f80be6d82c845cf59b57aa44e14c2f50fc198c3f","datavalue":{"value":"5521794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607560$7160B712-468B-450E-AB6B-DD16B6EF4777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607560$0060C956-8F96-487D-A1BA-C25D7BCF4EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607560$96B2CEFC-157D-4E5B-83CA-1D90E6AE285B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"972b9c99d25ac3723c592a2765c70ae748b17a62","datavalue":{"value":"decidable calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607560$D052D64F-CFBC-4A1E-B92F-C9265BDE2879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607560$36EAB470-C176-471B-9D1E-D57B151326CF","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":"Q3607560$5ECCCE2A-B386-4256-BB9A-F536A73E22E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3baccfc2dfc8e13cba7b006ef3be6827e6c6e698","datavalue":{"value":{"entity-type":"item","numeric-id":4851412,"id":"Q4851412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1730b9b3e5a659d4c380e5a63de6641e906188","datavalue":{"value":{"amount":"+0.87832534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$97129A9B-5BB9-475E-8195-858A6CD4B726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f785b89d40136e803af37331e17c8cec7628c8","datavalue":{"value":{"entity-type":"item","numeric-id":1924324,"id":"Q1924324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee03eb88fbe51a57566f63e33587344359ea907b","datavalue":{"value":{"amount":"+0.87466484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$B5B151A6-323A-461D-AF76-A55F3865BD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349492e9c21bab20124b8ce8043cf3770ae0a2f4","datavalue":{"value":{"entity-type":"item","numeric-id":801894,"id":"Q801894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872ff38aebb80f9cc25dc4f48705e66bc9df5328","datavalue":{"value":{"amount":"+0.87245905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$D196239A-6BAE-4D7F-8EDD-D51AA16DBAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c147fa7a3c69e760c70766b4e5aabf17b49320","datavalue":{"value":{"entity-type":"item","numeric-id":6054106,"id":"Q6054106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ace2b934cdc115c1db3ea2740bd0daf0f1a73e","datavalue":{"value":{"amount":"+0.8656684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$B81397EC-80EA-4136-AC22-1055B98024D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65506795dffcbc03116a1240225200da4f2ca9d5","datavalue":{"value":{"entity-type":"item","numeric-id":5255799,"id":"Q5255799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5999ee5f3754899be1eaccb1d6d44ea09c442e5a","datavalue":{"value":{"amount":"+0.86518407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$CAFB66C7-C6A7-45A0-9D9C-65404FD6ADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a3f7f38c780ff8ec4ef4b6f28c5a6c3e46bbf7","datavalue":{"value":{"entity-type":"item","numeric-id":2841958,"id":"Q2841958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048f20565ed361a2ce5330b132f4ce9a4be81bb4","datavalue":{"value":{"amount":"+0.8639681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$DF4CAEB8-1004-4C48-9E00-824A30BDFB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e374fa52a7582aa3c783099b1d6d36fcb72eb000","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aade601e7fc38d21e78e2358f0de92fc8fa385cc","datavalue":{"value":{"amount":"+0.8624532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$09C101C7-8490-44BB-A6EC-79AEEAF2E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602176a39ad1ad5829183620756797b3a8732975","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d1b1999c249e371a31671c195d23c0b52e4132","datavalue":{"value":{"amount":"+0.86243594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$FE10C03C-43DF-44F5-9CFE-8F6F5C764498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c2710e89db94ff58672382e370bab5915ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4438092,"id":"Q4438092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4431fba9584c151e8533d5d7ada18ad12c16c8c9","datavalue":{"value":{"amount":"+0.8618628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$2FD10CB5-54C6-4B5E-88CF-CCCD3B82DF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960b41933b781022281f309fec70cdf1f03e7080","datavalue":{"value":{"entity-type":"item","numeric-id":3760512,"id":"Q3760512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6075ad16b53a1226254c60810bcad95e0fd12e5f","datavalue":{"value":{"amount":"+0.85955906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3607560$387CAE32-6CC1-4C6C-B57D-2A80F116A073","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3607560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3607560"}}}}}