{"entities":{"Q2865739":{"pageid":2876459,"ns":120,"title":"Item:Q2865739","lastrevid":42329187,"modified":"2025-06-09T22:44:34Z","type":"item","id":"Q2865739","labels":{"en":{"language":"en","value":"The axiomatization of propositional linear time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235332"}},"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":"Q2865739$45E105FA-191E-458A-8D96-431A988A998A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b4cc8c2c05d488428ca6c50951d6166ffb09db","datavalue":{"value":"1276.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865739$1B42A232-4AFA-4019-A783-F08D6983CFD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa6807e5a8e911fd31fe1caa2d52f2de8962f35","datavalue":{"value":{"entity-type":"item","numeric-id":271907,"id":"Q271907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865739$FEE70C1C-3D74-4B29-A793-2B4CA7A60AD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865739$8D0D0467-616F-4C9B-97DD-D6F5470F5302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d63e12fb168c9b9e750bf0cf507f57fd61fc6db","datavalue":{"value":{"time":"+2013-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2865739$BFCEEC11-40B0-4EB4-9C0B-063D8ED5DB13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865739$F45AF579-AA43-4644-948A-FA946ADAF452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bab0bd10e9f5a0b9830b947c7c1ebbbe996cc24","datavalue":{"value":"6235332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865739$507DC6F2-DB99-4D3D-81E0-04F8B8035AD5","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":"Q2865739$DCB11629-93E1-4F74-A333-910033EF920C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3a7670c34a5af875a2e81add29ac9a6ec5078a3","datavalue":{"value":"https://doi.org/10.2478/v10037-011-0018-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865739$763503E3-ED12-4D69-8340-BEB7A35418E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64c7a0ac78822fa64ce48b4ce8690965257d2dc7","datavalue":{"value":"W2016310740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865739$91ECCABE-623D-41EC-BC26-8F07A287B9C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865739$764C31EA-4135-4A66-85BF-9C3D6D83D757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865739$522C2231-3753-421F-AAAF-A62A54DE4820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9277754406a1feea8ce4ebf4b3fed6cd8d25d4e","datavalue":{"value":"10.2478/V10037-011-0018-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865739$37743645-0E7D-4B1E-882F-BDD819EE0484","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92c44b5d2c6e690bf8c949969b5d53a26d724523","datavalue":{"value":{"text":"The axiomatization of propositional linear time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865739$4C661482-DA34-4D9F-961D-7E023D9CAEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2865739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2865739"}}}}}