{"entities":{"Q351985":{"pageid":353752,"ns":120,"title":"Item:Q351985","lastrevid":61173399,"modified":"2026-04-10T21:38:09Z","type":"item","id":"Q351985","labels":{"en":{"language":"en","value":"A new model for model checking: cycle-weighted Kripke structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6183807"}},"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":"Q351985$B3B3CAE8-89E9-4544-8758-DC57B43A0EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"680e7e53fc69cc4c7233c6e0e08bcfff247babbf","datavalue":{"value":{"text":"A new model for model checking: cycle-weighted Kripke structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351985$66B7A9DC-50A1-4A33-9CD5-B72618116649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0077fe4db6464f59db1a45a1a884944a255cac12","datavalue":{"value":"1267.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351985$1AF31471-42CD-46BC-8488-3413A9FCB870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bba196955056e32658c9886251f9b6660225257","datavalue":{"value":{"entity-type":"item","numeric-id":351981,"id":"Q351981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$0B420013-DFC3-4FDF-953F-0831C7D6011A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaaeb06a7bd7b4e8b63dea1d6ae51fe97fce9feb","datavalue":{"value":{"entity-type":"item","numeric-id":351982,"id":"Q351982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$ED3C7768-5DA3-4DFA-8F05-7AE341C1C31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3f949315eee1e145df94d509c770ede49c5b32c","datavalue":{"value":{"entity-type":"item","numeric-id":351983,"id":"Q351983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$948A340A-1FED-4348-B473-5FE821AA4935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a9fe58b1148fdd48e45acd543cddf5429cda53a","datavalue":{"value":{"entity-type":"item","numeric-id":351984,"id":"Q351984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$8942B3F0-459A-462E-A3AE-EE38E95B502D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95cb2c83394bbbcdd99484db77fc7dbad3dbd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":351970,"id":"Q351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$DF95C0BB-0686-4F3E-B05D-984D40347E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q351985$6C06F49B-F218-4637-8C20-241DA5177F9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351985$294D4B1A-E26A-45D3-96B4-2336E0709964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e05d9b5043333cc0395ae7d3d8d2c8866c04bf6","datavalue":{"value":"6183807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351985$D4E0511B-98DD-493A-8686-D764E90F52CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q351985$F849C74E-D429-4CC5-B013-6301EF2C11B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q351985$4DCE205E-CF03-4CAF-A058-121B083573A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"991db964d08cc9f76e97ad9bf632dec6fe3ec61c","datavalue":{"value":"weighted cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q351985$0F14CC20-045F-41D7-B24B-970DCD949697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b92677120a4ea9d325117e584ef652ad8b77f2","datavalue":{"value":"computation tree logic (CTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q351985$05BD1412-7777-4664-B884-CE499FCCB4B6","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":"Q351985$20A8D169-36CD-49C1-A1FB-2E96A9681973","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1787f0166710d1d5b789637e8465160616711a5","datavalue":{"value":"https://doi.org/10.1007/s11704-009-0066-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q351985$25B8F36E-9917-4793-898B-6CDC23628754","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a134bdd490d74bb8c5a04b58080129fc5fd7672b","datavalue":{"value":"W2023733779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351985$3334DD12-DF43-4D55-AE5B-9C53757227D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$D982C3E9-FAA3-4629-ADD2-F7C6EAA58C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$C0B79DD9-8B34-4962-A191-9D2CB7C2D351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$8915A54C-7312-47B4-A78A-580A54C231E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ce3bf12d3e1b7315de7e9f667f7463cb5d45bf","datavalue":{"value":{"entity-type":"item","numeric-id":2368994,"id":"Q2368994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$FBF39EC0-8369-4368-9A49-37F4B546401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4050105be14c099d806cd9f7ef5c41f12faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$A1A1595D-A1C8-44E7-A948-4AA29C735819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351985$06D0858E-37E1-48D5-A7D6-6874F9EB0F86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"850b1fd57b1612139b97676fc0b070fdf91c52b8","datavalue":{"value":"10.1007/S11704-009-0066-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351985$2778D9EB-506C-4E16-B875-33AA841805A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1fae45d1c3b308655127ba1e86a3f7b81f3bd2","datavalue":{"value":{"entity-type":"item","numeric-id":4737005,"id":"Q4737005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c3c54187c25ff5c5d5f8a5fa3b69ae6b0273a2","datavalue":{"value":{"amount":"+0.8969144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$C2C576AC-7E18-44F4-A9F8-55E2430E53EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516254be15977e59058d90c0bf8267a568a9486e","datavalue":{"value":{"entity-type":"item","numeric-id":5368012,"id":"Q5368012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e881e49ba39cf86eb91ca16a2a8c35072c6c3a01","datavalue":{"value":{"amount":"+0.8841122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$BC88A9E5-0555-4674-822A-FB78857E5D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4954193985adb5572479ecfb123a70962ce129","datavalue":{"value":{"entity-type":"item","numeric-id":4501683,"id":"Q4501683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e299e0374b06305206984ee384645535a30918d5","datavalue":{"value":{"amount":"+0.8830897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$8CE6ED0E-B2B4-4B3B-B7EF-5548685A5140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829f037901a55df22569b56639283566d9621eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4738231,"id":"Q4738231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6ef99c6a30199c016ceab92dc6f30d9e5bdfff","datavalue":{"value":{"amount":"+0.8813303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$42F6FA4B-40FB-4F38-8102-0519F887EC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa00c59d107968371df10fe72481152c7bf6b871","datavalue":{"value":{"entity-type":"item","numeric-id":5505615,"id":"Q5505615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60036376ad6ab479d50a3e43e6288f489a512aa","datavalue":{"value":{"amount":"+0.87741655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$04668B49-1CDD-4B7D-8A09-B63C4B30D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99075a29069e8b9ccf7b53999493389a3a9d6061","datavalue":{"value":{"entity-type":"item","numeric-id":4584892,"id":"Q4584892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3a3c7eb940d81ccf5bff7cc115de94ccb7ed1e","datavalue":{"value":{"amount":"+0.87569034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$37DC1B35-885C-403F-BA49-D121B181A0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e5ed7c5d827dfccf0eb456e649dd4cbb811fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5962025,"id":"Q5962025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c518e633090727cbf08d3825fff1a61f423473b6","datavalue":{"value":{"amount":"+0.8694594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$5729C614-B0DD-41C9-94CD-C59357F1BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0211c3285752a7689c0c330b38b0aa5cbce9c8","datavalue":{"value":{"entity-type":"item","numeric-id":737106,"id":"Q737106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febc794a4a241ead958b83fdc2849d0ab2351c8c","datavalue":{"value":{"amount":"+0.86070085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$99654020-393A-4C91-AB61-43C555865245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822ffcd1cfc0c408f2405e7079d92040be30bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3023539,"id":"Q3023539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7522b634778e64f3972cbec1d609c1b9284ec0","datavalue":{"value":{"amount":"+0.86011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q351985$C1C6964A-145C-4155-BEA4-3935CD1D2CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new model for model checking: cycle-weighted Kripke structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_model_for_model_checking:_cycle-weighted_Kripke_structure"}}}}}