{"entities":{"Q2152300":{"pageid":2163043,"ns":120,"title":"Item:Q2152300","lastrevid":54358202,"modified":"2026-01-26T16:59:25Z","type":"item","id":"Q2152300","labels":{"en":{"language":"en","value":"Formal verification of cP systems using Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554140"}},"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":"Q2152300$B2611C2C-9D09-45BE-8857-656AE9592373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e0b0b0b572f41e4e44e6ead3512f5ac1a6a895d","datavalue":{"value":{"text":"Formal verification of cP systems using Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152300$23A777B2-63AD-48DC-8853-93F0EF956547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b78cce9e971723892ff55424238803b4bb555ce9","datavalue":{"value":"1490.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152300$05E6232F-AF2C-40E8-9072-231E0232566B","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":"Q2152300$407B015D-1951-4B72-8D56-5BF2E3C1745B","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":"Q2152300$123466CA-A881-4B8D-A5AE-6C87EF7AE257","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":"Q2152300$093103C5-E494-4F4D-8D4C-B31CC2B9A68A","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":"Q2152300$67470A34-569F-4A2C-87CB-72870134A7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"000ac9d6bd7fcc6af28f0330454cfb32d62c4ff7","datavalue":{"value":{"time":"+2022-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2152300$009CD7C3-9727-48C3-9F70-5C66B43D8F1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152300$9C7030C6-FC9A-4E45-B2CE-A3207D78522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152300$297112BC-C71B-4BAF-A4A0-B506B688D3D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e5e1ddbc0afa9c146a09ee7e159086c138c712c","datavalue":{"value":"7554140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152300$4EEF8D65-E001-4015-AD8E-07CD4ED63AB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d0f036297963b684a28c00ed2a52d72405e600","datavalue":{"value":"membrane computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152300$1360C347-724C-48F3-A8F4-CD623CEC66C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1098f61c0460c39914ab8089e3f5592684da473b","datavalue":{"value":"P-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152300$71F08529-9934-4656-BA95-C05531540185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797f1146d7251c68dd724a337f11d29157f9d712","datavalue":{"value":"cP-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152300$7C28236C-15F1-4B76-8CAD-AF5CF3B02859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152300$C6CC464E-767B-4FE5-81A1-2D95D630C19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152300$21C5F57B-6687-4D8E-810C-B138A2B61610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152300$BA52DE00-5572-415C-96D1-F95E3E961750","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9267fdb48827af90410b7daffbbb3ad6db79a50","datavalue":{"value":{"entity-type":"item","numeric-id":31479,"id":"Q31479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$DD76C5EA-1AB6-4B05-A5A4-E59B7D82400D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$923B9C8D-8941-46D0-B121-48EF42A6C57C","rank":"normal"},{"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":"Q2152300$3C383D18-1B06-4DF4-9874-3BC9A499B0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$C0AF0D98-63F0-4265-911A-315175FDF9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$21927ADD-D564-42E0-9A29-C37A00EBB97E","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":"Q2152300$437A5E5A-C16F-4ED5-8E5A-BA53E1A39B82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"794da2c4cc808e7b90cc0cd65d6d02b6bf67ec58","datavalue":{"value":"https://doi.org/10.1007/s41965-021-00080-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152300$3D397A02-1369-4969-8C66-A59D5A05062E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6396264ba237a6a667ce176e6cffc6e5445a137f","datavalue":{"value":"W3193491671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152300$F270CD86-8B67-496A-872B-BB597C7EF80E","rank":"normal"}],"P223":[{"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":"Q2152300$C96A5E3A-9DFF-4B8E-AEE3-D09C6A1EFAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab2a8655b2a13ab7cc9c92a91d941a4fc73eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5900804,"id":"Q5900804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$65E44691-B262-430F-AF80-CB8FB6B329D1","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":"Q2152300$519B3556-01CC-4AA2-90E8-B0509FFDE27C","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":"Q2152300$071E07CA-796A-4772-9A63-8A212EC24831","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":"Q2152300$601204A2-CC3F-489B-AFD0-EFDD04C97D58","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":"Q2152300$3BFD1C90-2FD4-4753-869E-4EE27B802E9C","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":"Q2152300$311C136B-7CA6-4300-A0E2-5FDB58703E9C","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":"Q2152300$236146D4-C0D4-448B-A54E-4B1FA50186AD","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":"Q2152300$B8CB28C1-A8F2-4639-ADD0-85641514C860","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":"Q2152300$AA107445-E18A-4BBA-A02A-8F10C1D0CB7F","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":"Q2152300$5C7E88DE-9473-41E9-9364-4B296458CCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508776c7afd9d483445b6e863ce452e331b471df","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$736E7B42-DBD1-46B2-95AE-B9BB4CCD0211","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":"Q2152300$48C5A1FC-38E7-43AE-81E3-1356D75E704D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd79b87d8affb2e430c94858daee03149361fb1","datavalue":{"value":{"entity-type":"item","numeric-id":1983014,"id":"Q1983014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$8D9852F7-EBEC-425D-9268-19D4F34122D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$C5BC6C45-5114-48FA-BD26-7D106D782ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$806C8A2A-B2A3-4D4D-84BC-C5B9ADA3266F","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":"Q2152300$3DFF2491-4BC2-484B-AFFF-63044339DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3810b21b5db99a2baf3655f329144eb0bf84730","datavalue":{"value":{"entity-type":"item","numeric-id":821319,"id":"Q821319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$6FDF3B15-D5FC-4F6D-9B8C-2467B09E9FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f8898ba2e29ff0147bba661d0e3f9419b3bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":1982985,"id":"Q1982985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152300$CA3B89DA-0422-436C-A3B2-88ACA17280D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98bf485e87f199aab9731218841f0039d00d04e5","datavalue":{"value":"10.1007/S41965-021-00080-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152300$85A9301E-D353-40D8-B519-78926040D3D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f01d742923cf7fa04a778e068dd9b7565a7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"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":"Q2152300$BDA36CB3-31DC-4D8F-B4D5-63ABB994A627","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":"a3c36f63f21417921fbe10fbb07b6b722ac06e49","datavalue":{"value":{"amount":"+0.8107076287269592","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":"Q2152300$E713F0C4-4C47-40B2-87E5-89F16A05BA1B","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":"1ae2338655b332941494f941b015bb6258d032f0","datavalue":{"value":{"amount":"+0.7875473499298096","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":"Q2152300$F3C9D437-3D54-4DA2-B2F1-86D036EF91C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d6a87c3317ebaf2af401c9011e33499c33da67","datavalue":{"value":{"entity-type":"item","numeric-id":2890294,"id":"Q2890294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77eb80ce2fd9d1ae0473aedb18a16b81501d76b0","datavalue":{"value":{"amount":"+0.7870633006095886","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":"Q2152300$E7E49EC6-D7DE-4808-9E00-1FBA2D766DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e965f9091659e8dfd242a4bfc4c8b39b045532","datavalue":{"value":{"entity-type":"item","numeric-id":3076605,"id":"Q3076605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4856c2c633ba953b2e8be6ed5fc57d94ea30b541","datavalue":{"value":{"amount":"+0.7839498519897461","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":"Q2152300$9D3B4518-6813-4A50-A75B-04C6242B9D23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2152300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2152300"}}}}}