{"entities":{"Q5452618":{"pageid":7482177,"ns":120,"title":"Item:Q5452618","lastrevid":50326946,"modified":"2026-01-13T20:11:07Z","type":"item","id":"Q5452618","labels":{"en":{"language":"en","value":"The Constraint Database Approach to Software Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259445"}},"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":"Q5452618$53C2B3F6-7616-4570-96A4-B0214346E3CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"987799da13bb6aa13b99a3501a119b83a4c58b6f","datavalue":{"value":{"text":"The Constraint Database Approach to Software Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452618$66334C34-9D4C-4293-83A4-D261F629CAAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec4a1c6fe4d21bbeee0e6bbda19ae2d5707ce34c","datavalue":{"value":"1132.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$BB3B36BF-4FF9-4C96-9FE1-D00F74C9CCBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5a33e45cb3fac90ad2b708ede16c11456c88f9f","datavalue":{"value":"10.1007/978-3-540-69738-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$24425E69-027F-419A-8F67-0EBAF75BF840","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452618$8E9B7B6D-FE23-43B0-B5FC-8FE15CED0371","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-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":"Q5452618$CB5068DE-339B-45FD-8EF0-65FCB9F15A53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$370CED8C-02FD-4A62-9DEA-CE25D19A4F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$6249FA1D-6E0D-4630-94D1-94A151517E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$FC7A2BF0-A4E9-4C3C-B9A9-A64B27A2FC39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"800f9a36355fc153b39357b3e8ed1c6f7e6c5c91","datavalue":{"value":"5259445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$B54A8BB4-2244-4B42-898E-2221D3556C9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1837ca1ba79416e0c604108e5263c0aea5d9bf9d","datavalue":{"value":{"entity-type":"item","numeric-id":676425,"id":"Q676425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452618$9D584EC0-DB72-4221-BD5D-56E565F705C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452618$9270C997-6033-4319-952B-4AEF44C89AE7","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":"Q5452618$F4E48A17-61ED-433B-8968-53EC66385AE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da988ae23997007744241e58ef227f58e55cde58","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452618$227FD106-C910-48DF-A75D-F7F094F74A1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d5f1531ca7001fe61cfbd0d1bf4b16d2892eb84","datavalue":{"value":"W1602949508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452618$56E738F6-C56D-4744-A0C7-A39BF212996B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4275ead0a026f400bb5b52fda6e1b928e0124300","datavalue":{"value":{"entity-type":"item","numeric-id":4813407,"id":"Q4813407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c265b34a6f6f48f699535ade7812fb3cfa7baf","datavalue":{"value":{"amount":"+0.7323225736618042","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":"Q5452618$56D5A992-08F2-4698-8080-4E8254385752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14fc18ee4cf8f91dedea6c0f0ff3ff81b9e0fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3525138,"id":"Q3525138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ec11fe1ebeb64bf85e9f0a1b93552fdcec4e57","datavalue":{"value":{"amount":"+0.7179049849510193","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":"Q5452618$A9D19BE5-9ED4-46E9-AA22-38A8DCAD0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838c0e2747b4300ec1274f993ecae31ab0cf4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48451a4d2c5b5fbb5fa7d999cb70eb4ac0c7105f","datavalue":{"value":{"amount":"+0.7109251618385315","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":"Q5452618$A04989B1-4CD6-45DA-ABDD-B1AD33208772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc7ff11ca30376c73b5033629ca27de7acaa1b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e5c3fd13aeb5df777c68526295af8be911eb6a","datavalue":{"value":{"amount":"+0.7087215185165405","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":"Q5452618$3CB66654-57AB-437B-B9D9-7E35951C8B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054082cfb3f85b413ebe279f44bf106298177731","datavalue":{"value":{"entity-type":"item","numeric-id":5899058,"id":"Q5899058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bd3cd0dbe46c3c692d15f2a8fe8156b0c3f352","datavalue":{"value":{"amount":"+0.6955327987670898","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":"Q5452618$D4F4AB7D-53F9-4DB1-8BE3-54400B74045A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452618"}}}}}