{"entities":{"Q1854268":{"pageid":1865010,"ns":120,"title":"Item:Q1854268","lastrevid":73799544,"modified":"2026-04-14T17:17:49Z","type":"item","id":"Q1854268","labels":{"en":{"language":"en","value":"A partial order approach to branching time logic model checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853034"}},"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":"Q1854268$36A3CDEB-E0F3-44E1-85D4-DACADDAF1B35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad3059be966694f224b6649611d8bcb2dc6e7c6c","datavalue":{"value":{"text":"A partial order approach to branching time logic model checking.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854268$2079E0FD-00CD-487A-8BB5-4F7AE7916CA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31b9365fcdf74e90a7fd17f814e007e6396d0738","datavalue":{"value":"1045.68588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$50C150C7-DA82-48D2-8AD3-ADE58940BEDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb188fbdb49047307c62f9a724894277e945f41","datavalue":{"value":{"entity-type":"item","numeric-id":1125427,"id":"Q1125427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$2F5A7D4B-6007-41D7-AD79-1399DEB27627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c6e68c4bf3eed343f564904eff07ea03eb8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1125429,"id":"Q1125429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$880C174F-1862-45F8-A683-A77839E387F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$8B2CC123-DD4C-4A39-BBAA-52ADD0F928AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$F93C7EF0-A5AA-49D7-BD0D-C244D64EBC13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$286525D1-C071-4701-B851-6C784E10E2D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854268$1A1994E9-D2A1-4BA8-A774-FB3EBD7C3400","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdbedaa25a18f0836b9e61fa7fb7e7a5f52000bb","datavalue":{"value":"https://research.tue.nl/nl/publications/a-partial-order-approach-to-branching-time-logic-model-checking(97bbfaef-a151-4087-a869-c3564e1ec4ad).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854268$C4D4E918-5E58-4D46-A0EE-4152B79A97BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$85A3B6C4-CB7A-4CB8-B493-69FD05C36371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$428674A5-F641-491D-8D21-64F53CB72F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$0CECB54A-7894-4C4E-9148-D04F1C7C2467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$EA66011E-89FF-4038-8D74-656B034E2ABD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9198fbdc4697a16915cae25ebc2a7924a9c65aeb","datavalue":{"value":"1853034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$AC8661F4-9FC9-478C-9017-AA8D39F27157","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7143bb608a266c66125c0e69f296448e71e8a6d1","datavalue":{"value":"assertional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854268$1D1A2FFD-C0A0-4384-AC11-642A3F42C1CE","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":"Q1854268$82FDBA22-0455-4088-AE74-673CD9FCB2F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af81b1e3ef7954356d4182295c30df99beca1ecc","datavalue":{"value":"W2062081943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$3EEC1D42-0BC4-44A6-B38B-5F25162DFF7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$87B0F5CC-F07B-4E70-918C-88865CF8250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$63683450-C532-4D2F-B7D2-732556B9C9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$24EF042F-43C5-406B-B27F-78E3031F792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$411B8327-851C-4C1B-809E-3A118D037AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb16cc67059cf490326f204c1ae943f947f5c92","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$468A0F13-A889-4156-B31E-2F443C8CC3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$7183F040-24D4-41D0-8EEE-63411A80D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$21B517C6-68B7-4F11-8998-A96D149E57DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854268$503AF73E-AB4B-4480-98BB-D690D1D03923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c877327ff29fa8a048338fa7e1875d534280a723","datavalue":{"value":"10.1006/INCO.1998.2778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854268$12C9B802-DDB9-4298-BE33-3B6D1BDF7429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c7b9456e918cdeb23dd6c11524ffd286d75e44","datavalue":{"value":{"amount":"+0.8853470683097839","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":"Q1854268$63ECB6A0-AF31-4AF1-99BC-AABC4B57BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f2bb607858e29c18664b2043503066bab7c9dd","datavalue":{"value":{"amount":"+0.8720728754997253","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":"Q1854268$E60422AF-4565-4CE6-B151-109A84CD493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381d83fcf2734c1d0e49bece29bfb2c07c474910","datavalue":{"value":{"entity-type":"item","numeric-id":4507826,"id":"Q4507826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a199c8b5e4246ef1e3efc85d7f99ce4a9e97bc72","datavalue":{"value":{"amount":"+0.857345461845398","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":"Q1854268$8C5029F0-C218-4DDF-9796-3DD5EB01A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a199c8b5e4246ef1e3efc85d7f99ce4a9e97bc72","datavalue":{"value":{"amount":"+0.857345461845398","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":"Q1854268$46CFF393-9875-47A3-984C-1BFD101D6AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d64152106497ae5644814f7105924717b09175","datavalue":{"value":{"entity-type":"item","numeric-id":3614879,"id":"Q3614879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e91974deaf1743a48c0ff0230be9959ad2d805d","datavalue":{"value":{"amount":"+0.8315039873123169","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":"Q1854268$3C83524B-4451-482A-8CB3-887D5F09A08E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A partial order approach to branching time logic model checking.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_partial_order_approach_to_branching_time_logic_model_checking."}}}}}