{"entities":{"Q5096734":{"pageid":7126310,"ns":120,"title":"Item:Q5096734","lastrevid":91358528,"modified":"2026-06-04T22:58:14Z","type":"item","id":"Q5096734","labels":{"en":{"language":"en","value":"An algebraic approach to temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572967"}},"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":"Q5096734$909EB8E1-8543-4030-A025-42A9479F5CF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c6d0c2fd7b38cd92f37c171d32f790873d0c2fa","datavalue":{"value":{"text":"An algebraic approach to temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096734$46F2F51F-182E-4668-85B0-49AAD44F7263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf948f947c316e5752b44d9e3c671bb52d8c7a03","datavalue":{"value":"1496.03137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$E0B28050-F1C0-4889-BC85-32A260A41368","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f720d270dfb0ff3c47f6428bfe652a1bd2cf8d","datavalue":{"value":"10.1007/3-540-59293-8_198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$82E97F9E-0C46-4671-84A9-F11B97FF31DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e7d1db297d742b737b68d4043e1cb57374c8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":287021,"id":"Q287021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$E7E7351B-5721-4032-ACAA-D17B8C9F4E1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$D2A3123F-1660-4578-A76C-3B97398F55C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096734$0AE68E9E-D1D1-4475-9D15-84DCD98F159A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$9BE3E3BA-CC08-438D-96F6-9FD0896CC1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$10290EA2-7A42-4809-9648-50735DEB12A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$DF788EC0-E064-4E1C-BF56-719C290EEDD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"957d0a0f449ff10e40052de363d6ede025830280","datavalue":{"value":"7572967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$2E93D1F4-A7B3-4E83-A89A-7D79D2E8FC6E","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":"Q5096734$1D41DC1D-4C19-4FB5-BC0E-6089C3B78292","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d58d67e33c64ea346b5e9da83488c2d97f9675b","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_198","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096734$0D84FFE9-0B92-4DE0-8EE4-CBA2D330B8A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfd2e6f6512058702c2542ab15a6df2b1ed8c2a9","datavalue":{"value":"W1593441695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096734$0B531B74-B3BD-4278-8C35-24A1FBD5EB4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8a26949d557de522cc17586399689d572c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$3061AE8E-CA6A-4D40-86D0-1B5A844A136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35955551e10195a8ed370a0a0ee6c95e7f437b3","datavalue":{"value":{"entity-type":"item","numeric-id":4281664,"id":"Q4281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$CD961B71-252C-4E81-B300-175B54F490C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a9a4926ad0a1d7ac2a521c96efa1cb2e5f581c","datavalue":{"value":{"entity-type":"item","numeric-id":674261,"id":"Q674261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$8B7274D3-5C6D-4028-A5D4-100BF311548E","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":"Q5096734$272FBC42-0EA9-4EB3-BA15-097C1B4EFE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$38B54D79-C095-4B1E-8591-D46014BF46C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$397F70B0-A049-4ADD-9B45-EF22AE55C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096734$F70CF49E-AE76-45E6-A235-617D57F15A68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09fd32265b502e17a175255bcdccd02036e76f87","datavalue":{"value":{"entity-type":"item","numeric-id":674261,"id":"Q674261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e910a06b3a2b0d7c8f583974f50233e0fe843eca","datavalue":{"value":{"amount":"+0.843524694442749","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":"Q5096734$ADE2A967-25B6-47DF-B315-3277ECAC86CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e023f813272b5895fae615af14a6b7b4a864a389","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c903872bb443f6c86bfe506c560c43b1a5caac44","datavalue":{"value":{"amount":"+0.8423294425010681","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":"Q5096734$E75D7A11-2392-45E0-806D-CCDF8AAE8879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5113239c9cedb9427ed7de52bd3cfb69d19d0c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4250362,"id":"Q4250362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c903872bb443f6c86bfe506c560c43b1a5caac44","datavalue":{"value":{"amount":"+0.8423294425010681","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":"Q5096734$0DBD7CB4-B370-4275-862E-658604E4B463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a4e73d5bf2016231a1407199a205321357b998","datavalue":{"value":{"entity-type":"item","numeric-id":4738117,"id":"Q4738117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86de9c72125343f3340ffd392a8d411bb6c24d03","datavalue":{"value":{"amount":"+0.8277559280395508","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":"Q5096734$107C04C4-3FB1-46E2-BC56-569FCA526CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c5ec15ee0f67fbf59b664154ed71f6505c11ee","datavalue":{"value":{"entity-type":"item","numeric-id":4383696,"id":"Q4383696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629269ceaf32f543c1c495e2d4a192ab3fb4100c","datavalue":{"value":{"amount":"+0.8118675947189331","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":"Q5096734$E7FA8B6E-F79E-4C42-8CBE-1F9D26410D08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic approach to temporal logic","badges":[]}}}}}