{"entities":{"Q5168523":{"pageid":7198095,"ns":120,"title":"Item:Q5168523","lastrevid":91464080,"modified":"2026-06-04T23:14:07Z","type":"item","id":"Q5168523","labels":{"en":{"language":"en","value":"Branching-time model checking gap-order constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313957"}},"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":"Q5168523$BF09E9F8-5D42-4DB9-9E0A-25E15591D8CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88b0cbb468ed2f8c4caefc0e85b227252a1af167","datavalue":{"value":{"text":"Branching-Time Model Checking Gap-Order Constraint Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168523$40DE2187-B79E-4D05-9AF8-F15467EF5F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04f85a179c071f9b8be34be8111b2900fd0730a6","datavalue":{"value":"1355.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$FD62CCD7-0136-4BA9-ABE1-1881728A25C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d2d6199392f6d3a691108d6fac15469e0bf809","datavalue":{"value":"10.1007/978-3-642-41036-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$10320317-B51E-49FC-B96C-EA1A48A6D548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168523$C03BD636-A392-483C-A5E4-9884891837CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168523$979E5328-E2F8-4EE3-AF58-589C9CC05B81","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":"Q5168523$B761BE3E-4E78-4C8D-AD68-FF08384F4D56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-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":"Q5168523$920AFFE4-DC3A-4522-AF39-31FDCA6D969E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d72257acaba0b5fe87533669d6981ccfe872f6d6","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/17903535/Mayr_Totzke_2013_Branching_Time_Model_Checking_Gap_Order_Contraint_Systems.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168523$2798799C-0328-4128-8329-DAAC3BA727F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$0B5672C0-99DA-47C7-9867-472E59BC23FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$42C83E09-EA09-4343-8E19-1F80DAA8B5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$F6373F03-324E-4243-9E91-955354CA10A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cac45fb583fc1fcf6984fa2cbcfc18e83ab4fc6","datavalue":{"value":"6313957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$EAF736AD-F2AF-4D37-A8D6-BEF6CA936C36","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":"Q5168523$9D2CD5A0-5AC9-46B7-B8FB-C1D11128190F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b64e5d201b401ed988438696315c6658e7a9bcf","datavalue":{"value":"W1915571054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168523$0757A180-FBC5-43D3-93BA-CA63365EE43F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382e1c7dc06eb5a581c08deab26fbd24d23934f7","datavalue":{"value":{"entity-type":"item","numeric-id":2968527,"id":"Q2968527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e11c296edb3333602dedbcad28c3be5a8800f90","datavalue":{"value":{"amount":"+0.9980231523513794","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":"Q5168523$E03BDECA-19EF-4F8D-B2F0-8DA1B481E232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf75bb00a1938f0584c3023ed227fb88eedee6a","datavalue":{"value":{"entity-type":"item","numeric-id":2891403,"id":"Q2891403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22898304c2d3f424aabe826ae79b8ff8ddd6378","datavalue":{"value":{"amount":"+0.8706435561180115","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":"Q5168523$B92A33C1-87C0-4F62-BB12-9B030C73CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ecc9490dd8f974699709e0f7a303c0eeb78f7e","datavalue":{"value":{"entity-type":"item","numeric-id":2435309,"id":"Q2435309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1170b71f064ebce07fa1da4e9e0bb04a299b3d1","datavalue":{"value":{"amount":"+0.8678099513053894","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":"Q5168523$1D416E3F-F2C2-494D-8A2F-C867BB169B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59aefdf1b945b3f5014ab9aba7bccaab1b2907b","datavalue":{"value":{"entity-type":"item","numeric-id":2890188,"id":"Q2890188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f302d11ead55cb286b48901009be00c4a919d0","datavalue":{"value":{"amount":"+0.7756716012954712","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":"Q5168523$D7772F4C-0B08-4691-A17B-237F87D8BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b60cc2292f3f6897bcdcf481e097734ffa100a6","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84065725b4e0f00dab91f59a41a237ae480508b2","datavalue":{"value":{"amount":"+0.7703969478607178","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":"Q5168523$1F3015E6-5580-4942-8D79-7BF24BF129F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching-time model checking gap-order constraint systems (scientific article; zbMATH DE number 6313957)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching-time_model_checking_gap-order_constraint_systems_(scientific_article;_zbMATH_DE_number_6313957)"}}}}}