{"entities":{"Q6184728":{"pageid":13319616,"ns":120,"title":"Item:Q6184728","lastrevid":55562782,"modified":"2026-02-17T18:52:50Z","type":"item","id":"Q6184728","labels":{"en":{"language":"en","value":"Taking Some Burden Off an Explicit CTL Model Checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7796230"}},"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":"Q6184728$6C99A4C6-940F-4CD1-91C6-E2545D065D44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bdde48de9184831d4696d6be23a6c415fe94c5c","datavalue":{"value":{"text":"Taking Some Burden Off an Explicit CTL Model Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6184728$F5F9C40B-8053-4674-8F6D-2E3DA942B88A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"635b7372e4c69985911ddad697bd69898a2aa10a","datavalue":{"value":"10.1007/978-3-030-21571-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184728$524C56C4-1E4B-4981-9983-6E25222ED3CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3583aba60b34c0799d51c8182d5f00abf0f2b8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2032843,"id":"Q2032843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$E32F58D0-2F51-4C4C-B8FC-1678975744CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$698B81AA-3103-4B98-975D-1BE2F95D8CFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$46CB3C2F-C5FB-4563-91E8-D8F21E9D3EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c788422623dc13be5c58b3af34b36d9b5d5b260","datavalue":{"value":{"time":"+2024-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6184728$E6ACA696-8631-465B-85D4-FB205825AEA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184728$C60FC861-1159-475C-8F65-F7613E429757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184728$E988DC3D-A88B-435B-8494-F9865922A90E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d96e4621b59484e4bcb0bf23c924e15f3aaa195c","datavalue":{"value":"7796230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184728$B3762699-419A-456F-A3D8-6EFFD120ECA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b2bed11dababcab09097a5cb31da4a0684c969","datavalue":{"value":"CTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6184728$8F749C2B-171E-4BF5-B39A-ED3DA1167A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6184728$B0FC3D32-0E44-42CF-935C-60D84F796059","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":"Q6184728$8BC14AD9-7397-4499-8E2A-D497B97F4DA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"625c24c0f4c31735ebc0643b51b2b6286a31bd63","datavalue":{"value":"https://doi.org/10.1007/978-3-030-21571-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q6184728$34D87A96-4761-4AA4-A801-373633CDAC3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a17b5f849aecc8930fdac1a49baba7103bd14bbe","datavalue":{"value":"W2950829809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184728$9504F993-5FD6-4C63-B1B9-889F7D0D3620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a47326c58db62ac0ca4e2eb05316ea3eb30cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$12C7D0BC-06CE-4036-9FFF-580E2A9D3235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$23EF4457-CC0C-44DB-B86A-BBDA589920DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b07eeec4a1bd343d449e6233e3f58cbea42083c","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$1F472089-F04A-4E48-A161-1A2275699F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18092ab083062e92326bbeef5a26dc16f6128110","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$700BE11F-DC69-4A43-9230-EDDCF6621DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$1F4AE54E-15AC-4FEC-BE42-06A04A5CAEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12976c2d0ea34f80055d425272209b25c8508b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2772443,"id":"Q2772443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$CC2AD092-7236-446F-92B8-EE6AD4A43A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a67d59fa85feb3ac24487c4144fa2553626a829","datavalue":{"value":{"entity-type":"item","numeric-id":2575734,"id":"Q2575734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$F5F0B562-1D1A-4E03-ADF7-182EDAD0D43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$0117B50D-4384-4E7F-9DEC-1AEA71D5FAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$ADDF6C12-BCCA-4D53-BCD5-B4B5E2254722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$B67D90D1-770B-4101-900F-70B98A2FFB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7911bcf6fc32486b637a7521a70d5004564c7531","datavalue":{"value":{"entity-type":"item","numeric-id":862861,"id":"Q862861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$483942DB-3889-4EE7-987B-5D532110C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62294676952167a37b8b6558085adf6375aa4281","datavalue":{"value":{"entity-type":"item","numeric-id":3569871,"id":"Q3569871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$6BE3132F-81B3-4083-9564-9693EC566BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a27c1b65991418f04a8e168eb39b35db4f1425","datavalue":{"value":{"entity-type":"item","numeric-id":4507830,"id":"Q4507830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$C915DF2E-DED6-4106-8307-3D78EA0D4C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$837126E1-3046-4671-AC4A-8877C1CF3E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$C08AD55A-E9E8-4CE7-A73A-6011328CA28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d4c65730bb3378dea2f140baafebfbe7e326c6","datavalue":{"value":{"entity-type":"item","numeric-id":4994076,"id":"Q4994076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$868C4E4E-EFBB-4C76-B4F2-0D645F519A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86270f2d91bea84b2390c8ce6e127c2d21fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184728$A3368165-EC83-4154-B40E-67529C571810","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b111a6f3a40fb203e286f27b6b84d3273aee114","datavalue":{"value":{"entity-type":"item","numeric-id":4507830,"id":"Q4507830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c097cb3640be42cf1b572611bddd3a3228a02abb","datavalue":{"value":{"amount":"+0.812401294708252","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":"Q6184728$6B7B5724-BDED-459F-A04B-8094304726FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f051937086bb2907463bf6ee78e7b61ae81e9","datavalue":{"value":{"entity-type":"item","numeric-id":4493882,"id":"Q4493882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab76c3f1caeb61aa7977637db4c38a22529ad06","datavalue":{"value":{"amount":"+0.7895342707633972","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":"Q6184728$A5CB1B1A-6E68-4C87-A3FD-58A636FC87A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5605b74046e4c3ae4a95f9077ed6a385e6eb932f","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831546dc622f476bf398327b737ea9b9b1f3d087","datavalue":{"value":{"amount":"+0.7855933308601379","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":"Q6184728$4041B3B2-207F-4BBD-B610-C5F1438085DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c996d4aa41efa69c017ae64a4e9591269a7edd45","datavalue":{"value":{"amount":"+0.7809527516365051","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":"Q6184728$5611712C-3F39-4D38-A87A-8D8EC653E0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821256108d413c43841696d533605225bf9b19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4818799,"id":"Q4818799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087fe74dd4abff2354eb27e0087cea8276612219","datavalue":{"value":{"amount":"+0.7763457894325256","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":"Q6184728$4D9A1C8E-C0AD-4D96-8446-B3F271C208E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6184728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6184728"}}}}}