{"entities":{"Q1982961":{"pageid":1993703,"ns":120,"title":"Item:Q1982961","lastrevid":72204423,"modified":"2026-04-14T03:17:48Z","type":"item","id":"Q1982961","labels":{"en":{"language":"en","value":"Formal verification of cP systems using PAT3 and ProB"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7395456"}},"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":"Q1982961$9A405910-2DC6-44A9-B43D-AFAA42F24EDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615e7e402554eee180f12c37bd5b888c34e336e0","datavalue":{"value":{"text":"Formal verification of cP systems using PAT3 and ProB","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1982961$F02329D7-188C-4559-877B-AB3D037E5A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"646234cca61d1472dc68eefd1ab5ac74c3f29482","datavalue":{"value":"1469.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982961$E4808607-5BD1-4ACD-9BD5-210611196A50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c1f92b930c3e0e004aaa48c85c739ecb258744","datavalue":{"value":{"entity-type":"item","numeric-id":821317,"id":"Q821317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$44DA80D1-01ED-4DDD-8F14-833CFD3BFE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f01c93e990ec3d33d00ab1e7b45c045e876b08eb","datavalue":{"value":{"entity-type":"item","numeric-id":256433,"id":"Q256433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$9800BCBF-3FA1-4E77-8090-A48E80B2CD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb979099c8491d1c4ab08dc4b324da133551018","datavalue":{"value":{"entity-type":"item","numeric-id":319218,"id":"Q319218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$C78F75EA-035C-4A94-9D7C-4F53AF6BC4F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a58847880a6bcc27bd2b9b8465ed9c6c506a6c","datavalue":{"value":{"entity-type":"item","numeric-id":1982959,"id":"Q1982959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$454B870F-E442-4DAA-AE78-693B71858FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98e005e68d31c9cc73eb4d265346faf7c77374c6","datavalue":{"value":{"time":"+2021-09-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":"Q1982961$840D6A49-787F-473C-8C4F-F91D2FD6FD2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982961$50BC374C-5759-4EFA-AAE6-3DD6B86BA383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982961$75D8D8D3-6063-40DD-9168-0935DB0AD26A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f18f94942c90fbc5edbb431748ee40f43d8fa69","datavalue":{"value":"7395456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982961$D7EE7A3C-B572-4695-B19B-CE3C34C1C892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982961$B6C2C4F1-791E-4EB4-9CF5-B8633A947B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982961$40364081-88AE-49E8-AE59-3CF68264843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797f1146d7251c68dd724a337f11d29157f9d712","datavalue":{"value":"cP-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982961$674D7953-021F-4409-910B-DA3DE9D50D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1098f61c0460c39914ab8089e3f5592684da473b","datavalue":{"value":"P-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982961$64224F47-3FC1-4468-9EB4-99539506ED9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c467c9e060fd0e7ddb66ee7667c46a0afc7c91","datavalue":{"value":"subset sum problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982961$7C6C2E4D-7353-4C90-8A07-B11B2E89ABD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$324F348F-0648-4C8B-A8D0-91E42A902EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$E1CC5DBA-2A24-4840-9DE7-4E515FDCA192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e60a8763bc4000cc911b9070b55cdb649a25b75","datavalue":{"value":{"entity-type":"item","numeric-id":39432,"id":"Q39432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$5C3BAFD8-4E30-4F9C-A8C6-D2B28DFDB734","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":"Q1982961$7CEFD2A1-5B2A-48DD-A0BC-761312F1FE60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8765a3485eb2c3b12660a633e8fce7dbe5647d60","datavalue":{"value":"https://doi.org/10.1007/s41965-020-00036-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1982961$20DCB98A-D0FD-42CC-A3BB-B43C66F989FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a321293f53f4c6131ee03d281800f72b1ce2f3ee","datavalue":{"value":"W3013001290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982961$1DB5EF20-57D7-492E-8E1B-5A4CA8DB5FBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a3d07e5f809d810c02f2b9a7ff409b20ad3ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4329016,"id":"Q4329016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$568330E6-F12C-4A3B-922D-E1B9DB85C9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb5f70a1510245784b3b311c5c543b2fff94cc4","datavalue":{"value":{"entity-type":"item","numeric-id":496035,"id":"Q496035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$C6E553E6-AFB3-4D1F-AE24-5FC9BDE41881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a1c3369545e5ddce519a664fd97e0b067e6d39","datavalue":{"value":{"entity-type":"item","numeric-id":264538,"id":"Q264538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$2AE98A32-6628-4229-BC70-174F43576BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd4a92dc4a4f4cddd5947e004d2c4b8987e2524","datavalue":{"value":{"entity-type":"item","numeric-id":5379885,"id":"Q5379885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$D6A1137C-A9DA-4E70-A4B1-DE270840F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b1cdf93acabfddf06ffc889a04c616dee5feff","datavalue":{"value":{"entity-type":"item","numeric-id":3505122,"id":"Q3505122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$852D96F3-A2D9-4A8F-8E4D-D9E0DC70C8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8474c92457b85679d970b8b7d448d702554b789d","datavalue":{"value":{"entity-type":"item","numeric-id":5452061,"id":"Q5452061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$F288941A-2A40-41D3-BBB3-A9123B27A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138ab05c6b12c4909473a434a6bd61142af4618a","datavalue":{"value":{"entity-type":"item","numeric-id":2413314,"id":"Q2413314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$7D378FFC-FF65-4237-AA69-BD5DACEA9C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d173894faa2ba705dfdcc395f469f131acaff1c8","datavalue":{"value":{"entity-type":"item","numeric-id":2852135,"id":"Q2852135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$2F859008-220E-4C15-B311-B0BDB7E8E6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d95befa6ec971b2dee098bf906d6e3d5e3407f1","datavalue":{"value":{"entity-type":"item","numeric-id":5479204,"id":"Q5479204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$EF06C79A-D45B-45E9-A6BD-92913A4B8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68656fe86e0e898cc6183979289c126f2ca7e7cb","datavalue":{"value":{"entity-type":"item","numeric-id":5897728,"id":"Q5897728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$2F506506-7799-4D4E-80B8-3E479BC7BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b742014969289e0dfbd7d40345bdc049ebbc8fe","datavalue":{"value":{"entity-type":"item","numeric-id":2328326,"id":"Q2328326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$4D941281-73CA-42CB-823A-BD3E0A1E1FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d200102da6f0e13455bd5126f66d8c07ae4eec2a","datavalue":{"value":{"entity-type":"item","numeric-id":5480659,"id":"Q5480659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$3C25C9EA-8DDD-4226-B606-EF9439539C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6653c5406f14270e4acdacd87da86eee948f4b6","datavalue":{"value":{"entity-type":"item","numeric-id":987969,"id":"Q987969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$C01A9BED-3132-4145-A2C5-358CD778DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84236a67de7c1c4f1d731c40a92628ff5975ab6","datavalue":{"value":{"entity-type":"item","numeric-id":3076605,"id":"Q3076605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$2B84FA87-1045-4000-A2C8-F4BF5D4AD988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3830807495f5858eeb24515eda06891789cc8da","datavalue":{"value":{"entity-type":"item","numeric-id":5452066,"id":"Q5452066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$470331F8-53B3-41C0-9FD6-6F2A25D1817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494dc0d0f50964dc1b9383a825ff91a544926241","datavalue":{"value":{"entity-type":"item","numeric-id":1401274,"id":"Q1401274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$F11B070C-DD11-45D6-BAE6-A4E8567B90A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9963527a406e522ac8e0bf2a6a7a1766fe540cb","datavalue":{"value":{"entity-type":"item","numeric-id":3076603,"id":"Q3076603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$8AA038D2-E409-48EF-8984-3B2509C26284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3650595e2f02228bed5dd21e3dc4714421d3fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":1749170,"id":"Q1749170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$61337EC7-646A-4334-8F23-61ECFF1A3A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7715378ddc6c33583fab8de3e4a321740cd942","datavalue":{"value":{"entity-type":"item","numeric-id":1709914,"id":"Q1709914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$D1AE1293-7BBF-47FD-8511-ABAA8683492D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ab8c15e8c1597aa9de10bf1c5baa60032307dc","datavalue":{"value":{"entity-type":"item","numeric-id":5404858,"id":"Q5404858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$8D018D3A-F9E9-433C-A9A7-B6FA2A0F87C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307de5769c683bf83155d7be8c5579f2203d4476","datavalue":{"value":{"entity-type":"item","numeric-id":2707535,"id":"Q2707535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$70287692-D46A-4CC9-BB99-9F2A1A4D7E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc715e27156280a138563a00f62c383872123ed","datavalue":{"value":{"entity-type":"item","numeric-id":1582013,"id":"Q1582013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$946A1F5B-2E4E-4C06-96D3-911608A4A21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff127c5c98af066724c13e9497fabd06ecb09e74","datavalue":{"value":{"entity-type":"item","numeric-id":5901894,"id":"Q5901894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$8C94AD4B-3875-4BAC-9686-4B332C3109A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b7f1a2aa1547a6a7b16fe24b57dae9d90cad23","datavalue":{"value":{"entity-type":"item","numeric-id":2493281,"id":"Q2493281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$69A0EE8F-4D63-408F-AB05-6A379571360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ab4da5c8a1412f6a82e20e33463ec97c96e69d","datavalue":{"value":{"entity-type":"item","numeric-id":2311269,"id":"Q2311269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982961$C0C497C7-9A93-43F6-B0FA-AA9C123D6AAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44352dace5db59afcf9cfbaa8d61633c4dd8ab94","datavalue":{"value":"10.1007/S41965-020-00036-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982961$820E73B5-176F-4CE1-BDC9-18501E269F4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36258116623966e4f90ed7ba6a441e7310ba87bc","datavalue":{"value":{"entity-type":"item","numeric-id":2152300,"id":"Q2152300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5295e5465556024167f500f8fdd6ce4d1971f98","datavalue":{"value":{"amount":"+0.8754159808158875","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":"Q1982961$D373B213-EB84-4003-BCE0-4551D4A315BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee33d2bff6f630dafc5bf722ceb4d098a66e13a","datavalue":{"value":{"entity-type":"item","numeric-id":5404850,"id":"Q5404850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850e7f016d8ecee1587e7a1567c498a613ad55ae","datavalue":{"value":{"amount":"+0.8044923543930054","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":"Q1982961$AB1CA77D-B543-4C8A-A4F6-2BAF2970A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb822faae3ab7ef53c5c1e4daf8bc32ed3e8643","datavalue":{"value":{"entity-type":"item","numeric-id":3067494,"id":"Q3067494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4fffad3be7991152b937d6b285b3ac26300c295","datavalue":{"value":{"amount":"+0.7856916785240173","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":"Q1982961$B427A16E-ABE4-4455-81EE-28D4A4839303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40ca42c0fedf8062fadb4570f9e1ddbf8e0bb52b","datavalue":{"value":{"entity-type":"item","numeric-id":2789127,"id":"Q2789127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3cc33f23a28cc00e3b77067a73a2d7eff67e59","datavalue":{"value":{"amount":"+0.7674323320388794","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":"Q1982961$D72FEE31-7B7B-43BB-B722-0E25E756EBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69211145a188d880e5c323cbc4fc12619ab1a2a6","datavalue":{"value":{"entity-type":"item","numeric-id":1709914,"id":"Q1709914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6962b94776084464aa7ee76418f7e5948a23eee","datavalue":{"value":{"amount":"+0.7600334286689758","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":"Q1982961$D196644C-A73D-4D52-967D-92683E317D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of cP systems using PAT3 and ProB","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_cP_systems_using_PAT3_and_ProB"}}}}}