{"entities":{"Q3532454":{"pageid":5562358,"ns":120,"title":"Item:Q3532454","lastrevid":80941286,"modified":"2026-05-06T17:21:08Z","type":"item","id":"Q3532454","labels":{"en":{"language":"en","value":"Strongly Equivalent Temporal Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5357939"}},"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":"Q3532454$A6C4F707-FF58-42AB-AD60-4DC80BA25773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06eed7c3f6c7ae12b478c18dc8fe1b95b517253b","datavalue":{"value":{"text":"Strongly Equivalent Temporal Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3532454$6B2DDFB3-6B4A-4EF5-A59C-F77F1BD4E1AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2da7249b73eb029cea5f5914c68b5310039abd4","datavalue":{"value":"1178.68551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532454$69ED4EB6-B6A8-4D4C-9CA5-B702D5C81C3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2e53d5e6e435a88a427d0afb4e9773696ff6d61","datavalue":{"value":"10.1007/978-3-540-87803-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532454$E038B3DA-A912-4FC7-9C4D-589874CB8728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3516cee976239f1ea13d2485f6dc5644b4cff79","datavalue":{"value":{"entity-type":"item","numeric-id":2851225,"id":"Q2851225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$6AFD6D60-6628-46A0-B92F-63292D00D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$7F0E3D6A-E19A-4859-B888-C4A5B10340CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad40c0ffeb99f3cbac503374dc9a8a3028c055a0","datavalue":{"value":{"entity-type":"item","numeric-id":2851226,"id":"Q2851226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$0C7527E4-B779-4746-ACB9-B2ACE8C651CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeea4ad668f2d88206e6cf7231a97f88ba6132c0","datavalue":{"value":{"entity-type":"item","numeric-id":2851227,"id":"Q2851227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$C11C6045-9E1F-4D05-AB14-9CF4E480E74E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$6D39D4E5-0923-43AB-A514-7F311CB3777E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6a7a73594519f73ca64bd2ca3d2516aec27193c","datavalue":{"value":{"time":"+2008-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3532454$7CFAFAB1-4958-41C8-9702-AE38775F3404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532454$20561C5C-4113-4CA8-9B33-3DE83D322579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532454$5B2F2BA7-0E7D-4772-9019-DA353F798AAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"330ad101270fe6f8b5938e812dcf6d2ee3a0d85c","datavalue":{"value":"5357939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532454$57BF50C0-8ED1-41EA-B9F1-4FE0BD63DCA7","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":"Q3532454$1ECF1926-FE7E-407D-90A7-7A093A58AEF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04006e6f7e2fbb6df80c5743ee1d21a58b3d9039","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87803-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3532454$EC88AFF4-D930-4CC7-BF42-078E819BCABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"698e7f0becc11a3b1408dfe53d015f19196112f7","datavalue":{"value":"W1872003434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532454$0B6A7D16-DBD3-4CD7-B02C-0171384583B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$083A3E6E-82F0-4C99-9713-05F968AEE391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$4ADCA8E7-74D8-4547-9B3C-3DC20465F02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$78722808-DB3A-4150-851F-6FE31BA756A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f16cd69884c174f6c7f46366177d5c18429ab","datavalue":{"value":{"entity-type":"item","numeric-id":5394121,"id":"Q5394121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$1277F0B9-392F-4AC5-A697-E140D55E4552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$ADA84AB0-DBA7-4E46-A707-809A4A2CD69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65521026baad34fe2ee1280fedcc0313ba36fd36","datavalue":{"value":{"entity-type":"item","numeric-id":814551,"id":"Q814551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$FE7983B4-352C-424C-98B3-38EC604D1011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$1C4C1CD4-47DA-4793-B4D4-80921A3A0900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79135a41dfefcc4385a8938b41981875cac4f261","datavalue":{"value":{"entity-type":"item","numeric-id":5473995,"id":"Q5473995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$2E41B4A1-9A4E-45DA-83FF-C6F75E142922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$85E8B06A-213A-4D6C-8E1F-279E509A2CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a85fa77ff7b7aca579fb2664277483f7526fd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$75F11D8F-1AEC-4A59-BA07-1750ED2E28AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$2266370D-ACF3-48B8-A918-C088DCC2A173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e3b8457bdbc5cddcf19c9c044bcacd79aa4e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4736482,"id":"Q4736482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$B6C427C9-397F-4503-8B41-3823E7D2A364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b45eb2c63b2783f7c4e308e0e780cf50d764e70","datavalue":{"value":{"entity-type":"item","numeric-id":1399132,"id":"Q1399132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$DC1AF536-C495-407E-A5C6-7F117565BC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bb221f803bac14ced0666958249e372dce6a7a","datavalue":{"value":{"entity-type":"item","numeric-id":5394164,"id":"Q5394164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$B09EE23A-7543-4A2E-8B11-1D731DBB78F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa375780bd27ee9f06be8256dc70137300da930","datavalue":{"value":{"entity-type":"item","numeric-id":5473996,"id":"Q5473996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532454$C29C1D4F-BD5E-49B9-8F96-761987843880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ef81f2713d65052c40aef91cbe975c87798e14","datavalue":{"value":{"amount":"+0.8251250386238098","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":"Q3532454$00833740-F343-47AC-9355-5C337AE58635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76c8543233f5fe0b6b3529cc1cb9880542e0419","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fb4a4cf608baf3563b4e890801617e5e4fa1cf","datavalue":{"value":{"amount":"+0.8040905594825745","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":"Q3532454$DD18A278-5614-41B6-89BD-435A1C998EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdb0a177fd3fce5410d6abad8a8f0cbf33f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b527421c499c63252f7f5a9f65362c68e40993","datavalue":{"value":{"amount":"+0.8030512928962708","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":"Q3532454$CAD4719E-EDC1-4B8F-97F3-C1092D1C5049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d4843d7eff526f2fd382b05084a60fb13714","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8855d2a1c70da51d165a9be23c64aa06e9e55a","datavalue":{"value":{"amount":"+0.8028324246406555","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":"Q3532454$E3523AE3-A2EE-4BA8-AF72-07EBCF32EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874e584e3d8d03702e1bac3b705fb764b3b7143","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ffadc66b6b28af65610e41ce37b6bc97a2dda1","datavalue":{"value":{"amount":"+0.7987263798713684","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":"Q3532454$F2DED263-D9DC-4108-A861-AC17323C4855","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly Equivalent Temporal Logic Programs","badges":[]}}}}}