{"entities":{"Q1371312":{"pageid":1382052,"ns":120,"title":"Item:Q1371312","lastrevid":68754933,"modified":"2026-04-13T01:50:41Z","type":"item","id":"Q1371312","labels":{"en":{"language":"en","value":"Bisimulations for temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1080667"}},"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":"Q1371312$719376A9-721C-4E49-AB97-C83F2D05FDDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"974c5023d24f8ac2e58977cccde425c7b1357ffe","datavalue":{"value":{"text":"Bisimulations for temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1371312$2BFBE3AA-1E19-4705-A5F4-7B0635FBDF72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68020d91d2dad40015ec7bd20cbca2dceea02f4","datavalue":{"value":"0882.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371312$D5BFD766-8D8E-49CC-97AE-6E04FB9D2060","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff1e0614297596ee61acf1fbd77b12ab3eb71143","datavalue":{"value":"10.1023/A:1008223921944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371312$9353190C-5A15-4FAC-8F8B-DBC5B4CA7617","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ece5b693aa76572b186f3e8540450afbf9c6e5","datavalue":{"value":{"entity-type":"item","numeric-id":1280044,"id":"Q1280044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371312$2359B4B9-A4C8-49F7-91F3-E6C7BC2BD7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371312$BBD3EDD5-0124-4AED-8726-488F54BFE7F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371312$9553A50F-EF68-4541-A4EB-24F27123AE1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0eaf19f8434564cff6a93a80be5427b161bea94","datavalue":{"value":{"time":"+1998-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1371312$61E9E724-C0D9-49D1-A082-251D17DE5E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371312$F62EA083-D126-4063-AC59-3664FF4F110C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db3ac4d3b1e30d2dd99bd0a8ad969f86f3822389","datavalue":{"value":"1080667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371312$10E42570-4037-4745-994F-C82F7AEF503E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371312$8D527891-EF74-4796-93AA-6D5E92173555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371312$16B392F2-F86E-460E-96A2-6FB2A797B966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db8f026e1b6370ebad9e552beae56f80d9353a4","datavalue":{"value":"temporal logic with Since and Until","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371312$2E6BE9C1-98BE-4135-9894-56B9C1E96B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371312$3352B279-5B29-4156-A27B-1C32B3150415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371312$260C0D59-95FC-408C-9DFC-EF5972068EA7","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":"Q1371312$164E3701-23A5-405A-9C7B-AD58DC8DA54E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b360d46c238780081e0f6880b9a5b76cbe4d9d74","datavalue":{"value":{"entity-type":"item","numeric-id":4803964,"id":"Q4803964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0da6f5bf9524251ccd55f9905dcfde7661111e","datavalue":{"value":{"amount":"+0.8801134824752808","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":"Q1371312$3403D501-21CC-4FB3-94AC-AF50E42870C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7a937d8477108f75f2a5320317bb7c19addf66","datavalue":{"value":{"entity-type":"item","numeric-id":5039160,"id":"Q5039160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ece3b52237b3caac1319eaa75801685c37aa184","datavalue":{"value":{"amount":"+0.817870557308197","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":"Q1371312$7A92E8B6-2AC6-47DF-B6FD-D183A6174F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497e89d3f907bd920ef245c3f449e961dfcb71d","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3596c55661ebb1aa9427803e87523ff77602c745","datavalue":{"value":{"amount":"+0.7760830521583557","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":"Q1371312$ED43CED8-BDDF-4EA7-ABA8-A5F4AB021CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ea97eacbbe7ec232f388d0d52041d451a1c061","datavalue":{"value":{"amount":"+0.769284188747406","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":"Q1371312$D66580DC-924E-4800-9B95-274AA6E36CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f54cb18e4020d77135267b262453765219c30e5","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5b1bca81f0d61c0b5a39771f1d215daf35d9b8","datavalue":{"value":{"amount":"+0.7670019865036011","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":"Q1371312$08789242-A275-411F-B0CB-F2FE30228F84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations for temporal logic","badges":[]}}}}}