{"entities":{"Q3060195":{"pageid":3070911,"ns":120,"title":"Item:Q3060195","lastrevid":51140222,"modified":"2026-01-16T21:42:55Z","type":"item","id":"Q3060195","labels":{"en":{"language":"en","value":"Axiomatic semantics of projection temporal logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822249"}},"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":"Q3060195$B41F7442-8EDD-45E2-87EB-92EBECE310C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5825dceef67461d33ab0d5114526a1cfe83ba3b","datavalue":{"value":{"text":"Axiomatic semantics of projection temporal logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060195$90336155-EC94-4228-A95E-BB321FE5FD15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4878a70b00de45155a14187818f95b7c1c201053","datavalue":{"value":"1213.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060195$F52C75A2-C828-4C23-8B8E-A15F62D15388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2be09f33fbf05a975b44cc3c8de117e9208708e2","datavalue":{"value":"10.1017/S0960129510000241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060195$2FA575AA-9E7A-4154-8BB3-6B6C7E2BEE8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$7BAE20E7-8CE4-4332-9CF5-87AAE61DE6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5337a75ceab00bd696bd6e1b1f756692f28a0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":354104,"id":"Q354104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$2C993B74-AD3C-46A2-BA41-96C6FE79F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7593f574ea128cf94ee0991f4586716cfb90c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1787787,"id":"Q1787787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$A18AFB09-4631-4729-87D7-12E15DD80993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$500DE0CA-EB4C-4638-922F-5E19C72CDD91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060195$28869FB3-83B3-430E-83F6-2F3A04DF5BAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060195$CB0E9EC8-2B3B-42C2-ABB3-17D1BD271F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060195$8FD58FBD-06AA-450A-BA76-FA511E0B6C9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5be627e162954344269cf49eb00d1cd3d44134e0","datavalue":{"value":"5822249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060195$C5398ECA-8100-43D8-BD43-903163DBA6D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f6c80b0dfc69f07b6732579007eac69eb2f8c4","datavalue":{"value":"propositional projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060195$F4414510-27AF-4DCF-976A-344DAF78A1CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$85DA4407-C6F3-4C7A-A000-2B34759D6205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$37DC9ED8-AFD1-48CC-88A8-43CF4DD49423","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":"Q3060195$9A496EE1-2385-4126-AB69-CA89A0766737","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31165551553340b332237594544d75e2a25839db","datavalue":{"value":{"entity-type":"item","numeric-id":3502632,"id":"Q3502632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$D96AE4C2-D960-4EE5-9EEA-9D90C156A219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$460F2253-A7A5-4D0F-9660-7D8C06517566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83f8ec113eaf5868a07f1d428489aef79179687","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$10C55062-3428-4742-9654-2A3B1663FFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2c0095e4d0c9ebcf5a00ea01472ecc82a60ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4036284,"id":"Q4036284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$08F007FE-FDDA-4385-AB63-DE2A3428CC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$3F973A89-5A2C-4A15-8708-4ACE9F51B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37e8ba0251a16df51f940680106a4e06358b662","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$A7F2A8CE-BC5B-4CF2-B04E-2745F002A9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$25D99626-E78A-4EFD-8E8D-F0970B140D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$BC5D7E08-EAF3-4511-BD74-BC4EF1CBBFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$8536530B-1B42-42CD-9398-2C57C6B86364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7606c781d6ad406039c8c58640d224c00121f984","datavalue":{"value":{"entity-type":"item","numeric-id":1128978,"id":"Q1128978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$4EF02CC7-150A-40D7-BE38-13B362E48F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0443dce3f01a7bbd09b5aa2ca6c24058f2154c2","datavalue":{"value":{"entity-type":"item","numeric-id":2378283,"id":"Q2378283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$C0F88762-8CDD-4A0A-A786-347773F07954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6f503f40624c3a67fde02595febb3d31b13ecd","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$3F7A532B-0082-4C78-A7A9-9AD26DEAD4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$ADAC5B6C-C0D2-4055-9CD9-72B54901D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$A2C9082A-05E6-4A6E-86E1-E8ABC91308A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$706BBDA3-BC81-405E-906E-19E74E633083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060195$EF3C244D-DD71-4D4C-B6F7-CE277E9E2D92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561307f750473501718e9736601af1cef9537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3109143,"id":"Q3109143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ee91fbba74d895c5da18efcf6d3cd92042486c","datavalue":{"value":{"amount":"+0.7853924632072449","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":"Q3060195$18E34615-C1F9-40D4-A141-DF9A26ED9890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1858f3df0882189cb7b23dde4b4924d59f0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03ac1d7f882c8747a16527ef5c7fb2680b34ff4","datavalue":{"value":{"amount":"+0.7761915326118469","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":"Q3060195$7A251D9A-320F-43AB-AAFD-6F782F8684F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474af8fd6965c9a0988d1109071f6f2daf620a9b","datavalue":{"value":{"entity-type":"item","numeric-id":896162,"id":"Q896162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889c0de4d51e5e8ea09772b9498bcc8537d6cf8e","datavalue":{"value":{"amount":"+0.7540009021759033","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":"Q3060195$BA1BC8E7-08A9-4EB8-89DF-4181417ED969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50345fa88c8af3bc18858d089ec67d475c3bd7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4547958,"id":"Q4547958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47602cb2472ed005149422722ab0d11231c2d2d8","datavalue":{"value":{"amount":"+0.7459689378738403","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":"Q3060195$B23EE20A-920B-4006-8F5E-65B9B7B2F4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902a986642b6518bd3e07925a8b892e2d8f24f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3791122,"id":"Q3791122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47db24c42e4bf186227a407dc98df09f3bd4a399","datavalue":{"value":{"amount":"+0.7363340854644775","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":"Q3060195$7FB20D60-6332-4BF4-A99C-B2F9F355F1E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060195"}}}}}