{"entities":{"Q5425464":{"pageid":7455038,"ns":120,"title":"Item:Q5425464","lastrevid":50212421,"modified":"2026-01-13T13:12:31Z","type":"item","id":"Q5425464","labels":{"en":{"language":"en","value":"Decidability of Propositional Projection Temporal Logic with Infinite Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211398"}},"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":"Q5425464$BDE8669F-A8A2-42FA-B81F-27B75E9F7CF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d19fe02180dc557ef92faca5fa44cbb27055008d","datavalue":{"value":{"text":"Decidability of Propositional Projection Temporal Logic with Infinite Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425464$C8054E11-B03B-431B-818A-756313D554D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29440618a6253512dd02bf21b7eff4ea29207599","datavalue":{"value":"1198.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$594ACBB7-953A-4DB0-AF13-DBC5DFFC98D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf3ea6ab142fd85465eba46d663af5d8691b6932","datavalue":{"value":"10.1007/978-3-540-72504-6_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$C80D8537-BE61-4543-B162-093E4E881010","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":"Q5425464$BDF7E042-751F-470D-B5BE-A8598E79DCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425464$B94C23CD-0556-4C8C-BFB4-8CA730F360E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425464$0640ADB6-F207-4AB1-BCF5-C252A6983499","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425464$A7B04546-CA72-48E5-9DA8-39A7B4A984C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$D5DD377B-4B9D-4F2C-AE7E-1EE00179EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$6CCC19C7-9BDB-4749-9218-FE438CDE3A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$C4E523BE-6A17-42E7-BC50-6CC2B242A57D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aeb9dbca4e9ba374eade1dcb0d087beae7f0f5f","datavalue":{"value":"5211398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$AAC4ACFA-8B83-431D-A6F1-2F8FF9C3433D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425464$7B3F446F-5F3E-4785-BB98-737BBEDADCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425464$E7EC32B5-FF75-4630-902F-F530E8CBB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425464$C63038FD-043D-4C63-AEA2-9652AEAA7F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3260690792a5f50e1cd8eaa573053f1d5bbebd28","datavalue":{"value":"infinite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425464$3B52F70F-CD0E-47D5-93FB-38311247C9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425464$A63BF1D7-C35C-4049-A23B-6453C100E238","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":"Q5425464$1B702C6A-6D49-4486-A705-03F7FE435429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbc4239d56937bfe833568a7be853fa1421981a9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72504-6_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425464$B8193DCD-C3DE-4DAA-A665-44FB903A74EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0c343cb54fc812ee4a6502c100e842a3dde4272","datavalue":{"value":"W2146715343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425464$A91541B8-586C-4BFC-816E-C50770A4C238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc26236cbfa2370002fe0b6d07768774eaa4eb0c","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff699d549831d35130242083eccb367ad464b10","datavalue":{"value":{"amount":"+0.9727856516838074","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":"Q5425464$3D87B9FC-F310-41B2-933B-DBA620335F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd0d9513b433a7fbdc8a0636431dce3839b32a9","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d18afae828a779903734b917c60941d5e95db6e","datavalue":{"value":{"amount":"+0.9025433659553528","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":"Q5425464$EF176903-DE15-429A-9A0C-3CFFA87443C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec950a4cb4d04d957ef57d3078ac85883ded1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2197530,"id":"Q2197530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5928cb3e7f54c53cf6c9fe76e21f1bcb7cff1506","datavalue":{"value":{"amount":"+0.8813104033470154","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":"Q5425464$4F0507D5-A9B5-4FC8-857D-16D49F22175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2abc2fe1bbb50c9cb71be855a84a24d0137d6da","datavalue":{"value":{"amount":"+0.8509787917137146","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":"Q5425464$61BAC1FD-AF53-4DBA-AECE-63743F9B9B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5550b4caa4cfabe00c787c79aeb07ebb7d59a5b6","datavalue":{"value":{"entity-type":"item","numeric-id":3616217,"id":"Q3616217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d57bbcdc734a00c9ef9d76cb8b66cddab3e1ae","datavalue":{"value":{"amount":"+0.8505287170410156","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":"Q5425464$18441CFA-9D2E-49C0-9B28-7B43F5809DF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425464"}}}}}