{"entities":{"Q1325844":{"pageid":1336594,"ns":120,"title":"Item:Q1325844","lastrevid":68466795,"modified":"2026-04-12T23:53:52Z","type":"item","id":"Q1325844","labels":{"en":{"language":"en","value":"Model checking and boolean graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567724"}},"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":"Q1325844$621A4C56-D100-4033-9526-4DBB0F3D1DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffd5ba43e05cd33f568f2b4a7e0d7abb3ebeb9f2","datavalue":{"value":{"text":"Model checking and boolean graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325844$C7B692E9-B57F-4721-B932-71CB9E8BC306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bd7f1c4b38ea27a2ffa64a54b4577d0aae2f5c0","datavalue":{"value":"0798.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$61E630B0-9A0A-4CD0-94EF-44446BEA4050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0585583c154e55969365229993c834f094a1ca6","datavalue":{"value":"10.1016/0304-3975(94)90266-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$21989C5C-B3E9-403B-83D1-6C2E98A6AA9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc14b91f3ea67d454f18e791d265c69e1964e48c","datavalue":{"value":{"entity-type":"item","numeric-id":169903,"id":"Q169903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$0B2240D0-49DB-4F87-B42B-4D849C64E557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$303C1E8C-338C-4799-902D-D11A2045F1B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325844$D51A5C69-258E-4425-9CB9-5A782A2DE0C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$13A9D0E4-FC06-4805-9102-5DD4092C0BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$2AD26810-AAF1-45E3-922C-71DFD5DF138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$903C2BF6-7BEF-4B3E-A609-56D4500BE1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$C84ACC38-1E4E-4246-9075-9DD14DD4721D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a2996f17d7eb8cc21ec63424209a6aedd701e4","datavalue":{"value":"567724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$82DCCF65-9CB9-4144-8E43-C172C4FCD3BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a913db4ff264f018e221f070b1134e91676db1","datavalue":{"value":"satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325844$2B101FA2-8FFC-4C56-A9ED-B678837BF2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325844$6F2E40EB-9DD2-48F2-A9A4-F4873C56C28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10288a7a3f69fee0c64ccf273989b15b64cbf461","datavalue":{"value":"marking of a Boolean graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325844$6724BE9A-AD17-4D7A-A502-3F8FC0737C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325844$97DEE7E6-5CB0-42D5-824E-4D317CE7C53D","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":"Q1325844$17604BCF-50EA-4FDE-A9D1-FE5DDC608B77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6898d647287dacc445adc1f00781a055f5448c91","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90266-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1325844$160153EA-4392-45DF-A56A-D6D29B5118B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5697c2d2f86452be0be794c500d401aff89e0186","datavalue":{"value":"W2756011084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325844$4B4A30F8-F9AB-4CA0-8B4F-78FC71A8186F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$C9F3805A-A104-4165-9D61-538DD7809FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c657f64cb04d23c3481d9e8fcddc3fcde2626cf","datavalue":{"value":{"entity-type":"item","numeric-id":685107,"id":"Q685107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$7411FE0D-4010-4739-A764-505395DCACFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$74C7C5DB-E180-4DDA-BC3A-EBC1158BEF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$313669E5-29E3-41F1-9DC8-3E3C15CD70F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$24398C3E-7BF0-4F7B-A019-1347B109BC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$B293C61F-AA55-4D98-B01A-E369B068C813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$5452FA78-3CAE-4B35-8B1F-6E535A93A208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$2AF22C0D-9150-4815-BD12-98D78BDB2BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$F79EA012-CFCE-4A4F-8E81-A70E3E839C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$6930414C-FF7B-4532-A571-6FE223B8F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0236c27b44b1d5ff87db3c624b16ad39c44b9863","datavalue":{"value":{"entity-type":"item","numeric-id":4038716,"id":"Q4038716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$C5BDE7CD-FBF8-407C-81CF-9F63CA73E630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$A9F26722-5606-4A83-A11E-D7BE5CE64B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1046b50af51c3932f3f883ecb7513f98f95e421c","datavalue":{"value":{"entity-type":"item","numeric-id":3033311,"id":"Q3033311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325844$45610CFA-C2D4-495E-A7A5-8BC37A22AD36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57df6c4616ac1c1e21409daa50b938d22cdce121","datavalue":{"value":{"entity-type":"item","numeric-id":1433941,"id":"Q1433941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509a2706acb92ab11cd1eba69ed5940149ba9c30","datavalue":{"value":{"amount":"+0.8787240386009216","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":"Q1325844$3F6B8973-6366-4AA6-AECE-2C02F4435BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b27baa11658ae4a5be3d0bca9fe0afdd964645","datavalue":{"value":{"amount":"+0.8328331112861633","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":"Q1325844$A4A96261-6A69-4282-B458-EF8E374D57D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585bd752b21c3574610f5be49215a433e5bc1190","datavalue":{"value":{"amount":"+0.8295705914497375","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":"Q1325844$62D94A66-E020-4480-8C8D-31E4B36A1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8d5813c096418c5750c749cb37351f8f536c10","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4a48810a3f0d8dd468329ee3fcd70bd8d96029","datavalue":{"value":{"amount":"+0.8269650936126709","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":"Q1325844$32C14EE3-1EAF-4AED-AC8D-989CB9FE0928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa34367be773a35ba201baf9641a0254375e3dc2","datavalue":{"value":{"amount":"+0.8220204710960388","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":"Q1325844$237CBF60-82B3-44DD-B6A9-81A603154C08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking and boolean graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_and_boolean_graphs"}}}}}