{"entities":{"Q6487400":{"pageid":14066169,"ns":120,"title":"Item:Q6487400","lastrevid":47785702,"modified":"2026-01-02T16:48:58Z","type":"item","id":"Q6487400","labels":{"en":{"language":"en","value":"ESTL: A Temporal Logic for Events and States"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631073"}},"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":"Q6487400$9C78AEA5-B4E6-4CC6-BA6A-63136E855EE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d4d37ad13a2ed56b4de38e3ceade9269949e99f","datavalue":{"value":{"text":"ESTL: A Temporal Logic for Events and States","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487400$CAD3E854-E47A-4AF4-88B7-63A12820FD6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1c70cc08b4efdf0d88a4023d3cea837f9e99be3","datavalue":{"value":"1510.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487400$404B7CFB-F933-4849-9407-550D9CEE1DD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97626b768baf54ce14b16532accf5ce0bb91447d","datavalue":{"value":"10.1007/3-540-69108-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487400$B4F64A30-A680-4BEF-8162-8FCD554D7818","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7e622b24ad02befeb4046612fade89b392cebb","datavalue":{"value":{"entity-type":"item","numeric-id":590540,"id":"Q590540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$9CF837BB-1AB8-4702-949F-B004DAA3ACFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00eb64f1a621ee3e61b3b598e85a67b693e4ec35","datavalue":{"value":{"entity-type":"item","numeric-id":672971,"id":"Q672971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$47E8059D-7710-4604-A001-79FFB9C3FA8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487400$E1685464-C9A4-4A4E-B71A-F83E1B1C8C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487400$C9DC4ABF-6C6D-4B56-89E9-52A9CF2E8EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487400$8C20758A-80AB-4FB4-A3F1-115369CDB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487400$C680CBA6-AEAF-4CEB-81F1-C92A25212960","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a10d5a854f823efdd36b13e51f42854b414bceb","datavalue":{"value":"7631073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487400$D2E691AD-01EB-4BF9-A1F0-D1A693AD7CEB","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":"Q6487400$B9A8A3C5-A57D-489E-9212-F08D313BD61F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$278017F4-AA2D-48B4-950A-5EE67202E558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$6E7BA933-7723-4F81-859D-89ECF9344F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700004a10e3f64a0ccd3d8e8f5e59e43e7bd6fb9","datavalue":{"value":{"entity-type":"item","numeric-id":1377301,"id":"Q1377301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$CDCF8633-2F87-405B-9A97-47FC4D1D1B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c2c67d9264afcb96d287b3b8cef95dbdb5e5a6","datavalue":{"value":{"entity-type":"item","numeric-id":6487400,"id":"Q6487400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$DD620764-EEE9-4B2B-8003-0E391499E898","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":"Q6487400$8D7C8A33-9B03-450C-8D93-C798102494DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$9F9627F5-5AE6-41AC-AA89-D39DB484C950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c69726f68d9bfc2fd098a35047b7394854c18e2","datavalue":{"value":{"entity-type":"item","numeric-id":804305,"id":"Q804305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$892D1B42-0C35-4830-B7C1-EA48E11CF792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$525D0A1F-5844-4C98-84F8-C1A3C57B7ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03d103f30eddf655a2f23ad60a682d631c4a170","datavalue":{"value":{"entity-type":"item","numeric-id":4353630,"id":"Q4353630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$EAEB178F-149D-4279-9E4D-D4A19667F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13587f82224ebc2d5c8a0e1f19ddb3b39ae07a02","datavalue":{"value":{"entity-type":"item","numeric-id":4372017,"id":"Q4372017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$5D5A4DC4-B544-4C34-B5F4-AC1ECA04FFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd194daa8ec3c8a54b44ad5ee2b178310c72546d","datavalue":{"value":{"entity-type":"item","numeric-id":1328764,"id":"Q1328764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487400$5D21A060-1882-4149-879A-FD9F4D50A8BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49a39245ca2e24e4b3f60008fe7171d2da04d16","datavalue":{"value":{"amount":"+0.7722408771514893","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":"Q6487400$12BA4750-EDDE-419E-97DA-AAFC6F6EF40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697f2195cce2b53c24b3637d0ceb0ca8d9458115","datavalue":{"value":{"amount":"+0.7722298502922058","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":"Q6487400$8D5167E8-AF8A-43F5-83DD-4F85AC4808F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697f2195cce2b53c24b3637d0ceb0ca8d9458115","datavalue":{"value":{"amount":"+0.7722298502922058","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":"Q6487400$ABBA11E6-63CF-4913-AE02-0F91699BE37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63d6f90cf0d938dba0661a7cf2624164c90c0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1936232,"id":"Q1936232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7efe3136550179b6b36b0a634e9134366a77053","datavalue":{"value":{"amount":"+0.7650927901268005","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":"Q6487400$8E19E7BB-CA4D-458A-9696-DC64745132F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a370f549467f28760ea25d0ed4444566f8bbf7","datavalue":{"value":{"entity-type":"item","numeric-id":5398590,"id":"Q5398590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0642cfd2af1ac83f66eaa8e9f989634b48eaaf","datavalue":{"value":{"amount":"+0.7641479969024658","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":"Q6487400$ECC37A1F-06C3-49CF-8A90-735B25412365","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487400"}}}}}