{"entities":{"Q3605517":{"pageid":5635423,"ns":120,"title":"Item:Q3605517","lastrevid":50576825,"modified":"2026-01-14T11:09:58Z","type":"item","id":"Q3605517","labels":{"en":{"language":"en","value":"Completeness Results for Memory Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510280"}},"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":"Q3605517$54D265ED-5C4F-4943-A81F-34BA1DB244F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80de26c1a623a23b4ab3e5edd06bcb54a7a1b299","datavalue":{"value":{"text":"Completeness Results for Memory Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605517$BEE7983D-B166-4B00-9C20-1A874E3CA06F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e98261e9b3a5ba0d31dd7c35658f029a016716e","datavalue":{"value":"1211.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605517$AA766322-9EE5-4F9E-BB0A-DDEE4E89CFA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff1df995d1537202acee1e7b71f51da5d6a5faeb","datavalue":{"value":"10.1007/978-3-540-92687-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605517$EE47BF38-F5B7-4AAD-995B-E25022BABA4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$BC79FE48-557A-4F42-86CD-5830854AD84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18e3410e30c1d79684d376151c4e281cfcf6277","datavalue":{"value":{"entity-type":"item","numeric-id":235739,"id":"Q235739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$191245CD-F43A-4A79-AFB3-A381BB46C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9bfa05a16ea9798526d7f96b5b829fac7a3537","datavalue":{"value":{"entity-type":"item","numeric-id":408551,"id":"Q408551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$27759D29-17B9-4948-87AE-699BA1C858F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$912BF148-61A8-4E9F-82FB-E931C4D7893B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605517$84FB0309-90FA-4213-8737-E76818B845AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605517$2AD0D483-50FA-43A3-81E3-BD70D6C77F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605517$DD3FB0DF-70CB-414C-A2E4-BE3A8F535648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"534083426c213a7eb2f92c8cd6c6a9e40e5190d8","datavalue":{"value":"5510280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605517$D87D3CF1-31AA-4E07-A2E9-6A8F965BF9FF","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":"Q3605517$351A3781-E4DC-4172-BC39-7BCF42784502","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc0a1573a11bd7915ee0bcc2e87a5d69f27bbe23","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92687-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605517$FE465D4F-296F-4437-A216-A0CEDE120718","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da38710069167e6d20dbc6747170ee9ffb1f160f","datavalue":{"value":"W2103281574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605517$451C6587-C913-4F91-A63A-4F5F996843EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$3D810400-1745-49E2-A7CD-7CAEFF645F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e242b83c24240bf2fb75e1cff36899b9e9f6d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$406D9F0E-31EE-4976-8B18-6FB680B0014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$CF842359-23F8-487D-9F93-5DCAF84037CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$AB1E37ED-7F52-4FAD-96C3-A6855C10EEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90beb19f4ffcf44d7e4b4bb5b446d783518b65a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$CE3B51F9-E0D5-4A4E-8875-827E091CE5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$AF2A5B72-03E1-483A-B410-009E957026DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605517$BD1A885F-E64B-4E4F-B7B3-5EBB91E482CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7e63a7b92025ff07c8bf3161485ee73844e0ff","datavalue":{"value":{"entity-type":"item","numeric-id":408552,"id":"Q408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf606727cae4cf60bc315b21b6298c4b298bdb1","datavalue":{"value":{"amount":"+0.9999998211860656","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":"Q3605517$6279A38F-7FC4-4C34-B681-17BFA70F06C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc121f362e7cd3d2a7f37f607a0060c5a4212314","datavalue":{"value":{"entity-type":"item","numeric-id":4375804,"id":"Q4375804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63ef093c86ded7b19a66ae2579150c969ce2b09","datavalue":{"value":{"amount":"+0.8802947998046875","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":"Q3605517$B340B9E7-0D75-411A-ABD4-ED047FAB95FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f65b3fbef0ae1bb12f5ff0c71dfc98a3d9c7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3003344,"id":"Q3003344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68c6138f8785a7b6e1c5974ddd9829767efc3b2","datavalue":{"value":{"amount":"+0.8386175632476807","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":"Q3605517$1D31F378-8624-47D4-88E8-06BA9EB6C169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca94934b9142eb07a488be89f60690d287d864c","datavalue":{"value":{"entity-type":"item","numeric-id":3648720,"id":"Q3648720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f4afe583849566808a24e21e645a768df78852","datavalue":{"value":{"amount":"+0.7952930927276611","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":"Q3605517$7875CC6E-6B59-4CD8-B15F-179A2C8CF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493c788031d7c555c55547b4351b80b749d2d88c","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deffa40baf1e875a03e41a1bad7128390945435e","datavalue":{"value":{"amount":"+0.7882403135299683","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":"Q3605517$2465EC20-C55E-4EE1-993B-6A83FE05B400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605517"}}}}}