{"entities":{"Q5201279":{"pageid":7230850,"ns":120,"title":"Item:Q5201279","lastrevid":49817026,"modified":"2026-01-11T00:35:21Z","type":"item","id":"Q5201279","labels":{"en":{"language":"en","value":"Constraint-Based Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5018775"}},"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":"Q5201279$AD4D53B8-9D04-49DA-AD87-E6C19B666D86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70bef54839201d4a81ae9d9540c4983edc83d460","datavalue":{"value":{"text":"Constraint-Based Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5201279$3F71C4DB-3DC9-4D0D-BFD5-DA0373F55E3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb013035d4f7b32ade4e09775ff968f5f288118f","datavalue":{"value":"1093.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$481F51B2-FADA-4996-9632-630BFC0F39AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e074e8a65dea9af20ca38e5e4b379d633123aee9","datavalue":{"value":"10.1007/0-387-30784-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$BAB70381-D215-49B9-8B58-4B9BE29499E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfd5b6fa69e104c4d18d2ead851706f296bce0a","datavalue":{"value":{"entity-type":"item","numeric-id":5201278,"id":"Q5201278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5201279$AE3EB5D5-8AA2-4856-BB1A-18C9D7C0A79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"238db7322480cbf9b60af7b2fd0ef39f78fa5615","datavalue":{"value":{"entity-type":"item","numeric-id":698099,"id":"Q698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5201279$9DF477CC-D35E-477D-9EF6-0394B099DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"375dcc015e7b69834612e592028a384d91ec7c11","datavalue":{"value":{"entity-type":"item","numeric-id":1226777,"id":"Q1226777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5201279$C01E376C-0E95-4C3E-AB69-CBD8EC354405","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9212dbf0387b08ceb434e17b8bb1ec71ca2b668","datavalue":{"value":{"time":"+2006-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5201279$93D5A4C8-B011-4DB7-BF39-8CC71FBAB66F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$95768F09-617C-4490-8728-16B8F7AA3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$B6180669-46C2-4EE5-8DE3-5D15C59BA468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$ABBD13BB-1368-4A56-B847-0319DFBEA170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$160B8490-776F-4C6A-A32E-3CDA5B7E4EF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b103387d4e3a7fb3bd123fb3ce72dc834dfa3767","datavalue":{"value":"5018775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$E6E749DD-551F-4683-84D5-DF5FEB52A353","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62d4e4b15609f5c6133476b9a18e54b6ba34b2d","datavalue":{"value":"verification flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5201279$E4FD7CC7-B49B-4921-BAAE-D4BF7AC0CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea9426f6d04d92a6855e89277af8f3f18357d12","datavalue":{"value":"assertion based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5201279$DEA072FC-2478-4EE4-A5E8-1F68B9FF7BD7","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":"Q5201279$20F8CE8A-47CA-46D1-A226-7AB45E4F1455","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffe061836f50d25c15f5841bdc50815911deabb7","datavalue":{"value":"https://doi.org/10.1007/0-387-30784-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5201279$A029DBB7-86C9-4837-99BD-6143C93A75A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec2a0b79e8a6caaf84c637a78df6d6aab3ab4fd5","datavalue":{"value":"W1826753560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5201279$39D5028A-058D-4C73-ABD0-0074656C4187","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2432990e415e1326b928aa70488f4889b59ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4435747,"id":"Q4435747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4db961b6b64298a95594cc11420640f289bcc2","datavalue":{"value":{"amount":"+0.7709052562713623","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":"Q5201279$24C97F5F-6D36-496B-AD4C-53A6134685D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb2ea6c0440391bde9e5cf05b8cc175c2a2feda","datavalue":{"value":{"entity-type":"item","numeric-id":3064570,"id":"Q3064570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4db961b6b64298a95594cc11420640f289bcc2","datavalue":{"value":{"amount":"+0.7709052562713623","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":"Q5201279$013FDB42-69FD-47BF-823C-9B0CE50BA3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1129ff0b010a4a504e3137d8b4eee2c6c49ff94","datavalue":{"value":{"entity-type":"item","numeric-id":4824978,"id":"Q4824978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931f2ec5ec2e336db8e11351173216ee75084f09","datavalue":{"value":{"amount":"+0.7470617294311523","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":"Q5201279$3F53B04B-2D22-4224-8C5F-DAACE292C588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f503a59f5cc3d976b4be9d274565116eeb706c","datavalue":{"value":{"entity-type":"item","numeric-id":4948149,"id":"Q4948149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377915e0af45d38e0e3db121f0cab17ae9d827e2","datavalue":{"value":{"amount":"+0.7390671372413635","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":"Q5201279$997C6E50-B9D5-4C1D-9F2A-0DC01E04095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6cf94a941e73c549de5f3f28639ca1516bdd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5386252,"id":"Q5386252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377915e0af45d38e0e3db121f0cab17ae9d827e2","datavalue":{"value":{"amount":"+0.7390671372413635","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":"Q5201279$32609FE9-7B68-45C1-9C51-71BD27464FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5201279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5201279"}}}}}