{"entities":{"Q2968527":{"pageid":2979252,"ns":120,"title":"Item:Q2968527","lastrevid":58076343,"modified":"2026-04-03T17:17:17Z","type":"item","id":"Q2968527","labels":{"en":{"language":"en","value":"Branching-time model checking gap-order constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695766"}},"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":"Q2968527$2535329F-5B15-4383-A408-7CF32C421BCE","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":"Q2968527$18954C05-2BFD-410A-8FFD-244B5E634401","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97519481a8e66256d9397a6eb9f75211f8c3e5a8","datavalue":{"value":"1362.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$E6DD625F-D207-4B81-946F-B7808C0121F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"919c379ebed2a73e049bea5c717d8647ff17d29f","datavalue":{"value":"10.3233/FI-2016-1317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$479B5E5F-03D5-4D28-983A-8686999F88AE","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":"Q2968527$50E9E41B-4947-4B11-B7E5-A0A8169A051D","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":"Q2968527$E50E8D88-616E-42D1-B6A1-C7004946D0FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968527$B4E459BC-8D77-43FF-BB33-CB5EBC6CFEEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968527$6FC87458-F884-4EB1-B838-C5560B5D7DFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5259a9d04ccc3b272b60bd587029cbd5972f056c","datavalue":{"value":"https://arxiv.org/abs/1307.4207","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968527$48CEF221-07B5-4B88-A282-751349CFC76A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$CAE37043-D8F9-4C30-94CB-07FDA84C2ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$602F0D66-79A6-4430-B19C-357DDA72494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$05B5CC7B-E287-418E-8C7E-F68A01C5FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$05807F65-097B-4E57-8CB5-564B74083EE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70a3b39d7a12fa35b22d64647244bb89052b8969","datavalue":{"value":"6695766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$AC642DC8-6C15-4F76-9702-2BA6A7CBFA75","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":"Q2968527$6AC337D0-9E7A-4B1A-98E2-8518E09F6C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ea7196547c9d6e38fe4b527feff324df2d58cb6","datavalue":{"value":"W3021255478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968527$F471380A-2FE6-4500-853B-9125ADDBB8EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c5283a109c971f5bcb6d1fde35f03954d9ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":5168523,"id":"Q5168523"},"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":"Q2968527$D591005C-A590-49C4-93EE-FFCA87320A19","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":"b61f30c3996b23ae2e61eaaa7709b8c2008d7b0a","datavalue":{"value":{"amount":"+0.8683956265449524","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":"Q2968527$1ECABC4E-BECD-433B-81B9-431A517ECA76","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":"482b4b4eebd0511d6060b433737ea5b3d314f48c","datavalue":{"value":{"amount":"+0.8650000691413879","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":"Q2968527$1CBA50B3-4D1E-49F8-ABB7-A8C2C189B331","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":"14c6ac30c197646711574f3464e2739925228052","datavalue":{"value":{"amount":"+0.7738544940948486","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":"Q2968527$DDF6B305-D2F1-43D1-8B99-FEFDD95F9932","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":"c8f807d52afdda200c9b16584daaee18ee7289c1","datavalue":{"value":{"amount":"+0.7701031565666199","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":"Q2968527$A232AF43-B00A-4E2E-87EB-9E3EB41AC659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968527"}}}}}