{"entities":{"Q3498460":{"pageid":5528363,"ns":120,"title":"Item:Q3498460","lastrevid":48710251,"modified":"2026-01-05T16:41:24Z","type":"item","id":"Q3498460","labels":{"en":{"language":"en","value":"Completeness and Decidability in Sequence Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275839"}},"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":"Q3498460$844E8751-4E49-4114-9817-15BFEF01FB04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e0d09119c3e57f42bb9ff075c9e2c31f7c60f09","datavalue":{"value":{"text":"Completeness and Decidability in Sequence Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498460$7FF6A697-32AB-4455-B817-DFA926DD2BF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5913487b02d35a3f5a97413f872788e399197cfa","datavalue":{"value":"1137.03311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$7B07FB85-8B5D-4FA6-A491-DBC4F43115F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c6ec56b0cf757fc856129b7fff56c56901de834","datavalue":{"value":"10.1007/978-3-540-75560-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$539B640D-4A8B-47E4-B0CE-85FD12C5F003","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498460$7807E3EE-E821-4E16-90BD-CFDA69FE6333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab38f936247be17a97aac6c537ac89ce85d8ef8c","datavalue":{"value":{"entity-type":"item","numeric-id":700791,"id":"Q700791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498460$5060E98E-33E2-440D-B9DE-431B41C5887F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d31d3a65e1ea7b3974ebed5a725f6c3a86eb35","datavalue":{"value":{"entity-type":"item","numeric-id":409315,"id":"Q409315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498460$52FDF3DD-D54E-4632-93AB-EFA04CB67DBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498460$A1FB3A90-9EB3-427D-AA58-020D7BD6941E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498460$35D9652B-417D-441E-B770-F76513BE5924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$EABF1F29-1BF3-4EEE-9488-39A0F79C3B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$B451ED6D-2DB2-44A8-AF9F-1CEA60EC3FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$41D8184C-8C74-406D-BF1A-FF35AF515035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d93bb282d248e54b21d9e478f6aa3880080fec","datavalue":{"value":"5275839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$CE66D084-1A2F-48C1-9C6E-3B23EFA5EC76","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":"Q3498460$E05A21E7-34AC-44B8-93B0-EFA0EF0AECDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d8d036af3855f30ca42f2020c2a651361522208","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498460$D617FF0B-CD0C-4D0B-8C2C-6D37C91D9763","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69b47396284c1de61a17b220704e59b950a5034e","datavalue":{"value":"W2151452053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498460$51771BD6-3B1A-4CBE-8C43-585E84A9F740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f4065245cfc70d190859c251bd4a6ee3fb27dc","datavalue":{"value":{"entity-type":"item","numeric-id":5278312,"id":"Q5278312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559e089462ba1231846243c217437b290fd2b2e6","datavalue":{"value":{"amount":"+0.921563","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":"Q3498460$5F47974B-8723-48E1-8708-85983D930ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2f6aaa2f9c1642e2bae00387685f4ec7c431f7","datavalue":{"value":{"entity-type":"item","numeric-id":2753679,"id":"Q2753679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab199abe3e754d5d33bdbcfd21ff661c28a533f","datavalue":{"value":{"amount":"+0.91842556","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":"Q3498460$3516F5E8-25DA-4D6C-B978-9195D03DEA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7745c71156ecdc53ab628c037baa8a9017ec16f1","datavalue":{"value":{"entity-type":"item","numeric-id":278747,"id":"Q278747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5453466c29378f75fb98e0683456e555ead63073","datavalue":{"value":{"amount":"+0.91538465","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":"Q3498460$BDFE7EEF-6F85-4B1E-A8AD-17F1E8F96915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da81af5f4a808e6f0731c873ef48e1a30d1a952f","datavalue":{"value":{"entity-type":"item","numeric-id":1866903,"id":"Q1866903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35fa5bd08549c23ca630cbeb365426afd767193","datavalue":{"value":{"amount":"+0.9111837","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":"Q3498460$F0920AAE-ACC6-4E54-B67E-342C804805C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1145d2f0cc0091b094360215c837a837a528e826","datavalue":{"value":{"entity-type":"item","numeric-id":2277437,"id":"Q2277437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af73685367d07360b3b826e34149e15c580bce85","datavalue":{"value":{"amount":"+0.9104542","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":"Q3498460$F5C2342D-B3F1-461F-BD89-9CCCCB30D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267636f0113a9050659437886b5ac0da0d0cd46b","datavalue":{"value":{"amount":"+0.9095789","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":"Q3498460$9263B9DA-4164-4220-B55F-5102DCD95C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca8bd5c8228247921d211e8b7ddf437ca996d45","datavalue":{"value":{"entity-type":"item","numeric-id":4918406,"id":"Q4918406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5683c57301f03d19bf35726e0dd676c5836324","datavalue":{"value":{"amount":"+0.90485907","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":"Q3498460$FF692167-7C59-42A4-95A9-4932EF3AB8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be6e1c76a1cd8fd78fb7309e3903e30e9ed2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3133153,"id":"Q3133153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce43b97686cc41cae829ff816f2d63fe007fb7f","datavalue":{"value":{"amount":"+0.8995869","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":"Q3498460$06CA094B-0BFE-43B5-AFCF-047065902B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ff8e8d9be79174a24407c05c2fa53f50dcdaa9","datavalue":{"value":{"entity-type":"item","numeric-id":2372412,"id":"Q2372412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03faa342389f5166be39ad9b8be34ef74a8ae13a","datavalue":{"value":{"amount":"+0.89926106","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":"Q3498460$BF3E4404-FDB9-4FC0-8E9B-09D1487695D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f493728d7679715b42970806023897dd5507208","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e48f875ab16cd1ed861991f0383af3a7f7c330b","datavalue":{"value":{"amount":"+0.8987785","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":"Q3498460$5C6646FA-E15A-4B3B-A033-ECCCD9AB3FC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498460"}}}}}