{"entities":{"Q3575262":{"pageid":5605166,"ns":120,"title":"Item:Q3575262","lastrevid":51046151,"modified":"2026-01-16T09:17:03Z","type":"item","id":"Q3575262","labels":{"en":{"language":"en","value":"On automated program construction and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761618"}},"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":"Q3575262$6DF43FC3-3318-40D8-B6D6-21DCA1B762CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb0a7694758b398e4cd328b7ca2f6a5680e57b87","datavalue":{"value":{"text":"On Automated Program Construction and Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575262$8412163E-396C-4C83-AC3F-111A9B90A224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eb7cbd82751e8e7c8b070819846e8f2009d922e","datavalue":{"value":"1286.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575262$3946C325-D30E-4E60-B246-F8C3A0382312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"038231167b112cf046aab27357d0e35ad83844a1","datavalue":{"value":"10.1007/978-3-642-13321-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575262$CE6CF3EA-774C-4F0F-B3E5-11FC71F6A3BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575262$556AEBBF-6A90-4E5A-9904-9ABADF3E930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575262$5DF22446-270E-4061-821D-7595EA0181CA","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":"Q3575262$B64352F8-C693-40D5-8705-36E70AF2F753","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575262$1DF25579-5D08-49A1-9390-11D75656D51E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575262$628FE031-FF3A-479C-AD10-AA7256FE92DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f1c731cb5e3df1d6f2204be2e32db6d3044c923","datavalue":{"value":"5761618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575262$3483F967-A80F-4BB7-88A4-2BEF0AF3B98C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575262$B534C58C-1703-44E3-90BF-F27B47074F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575262$1ED2018F-49B6-4F90-A252-4C51F6D1FC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575262$913673DB-A434-4D17-8969-70336C441C2E","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":"Q3575262$8CB7D961-2E6E-4AF1-97A1-2370685A7F94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"717c243eb469dc21eefaf6a7497084b01fe90933","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13321-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575262$A7B3CF9D-6DA8-4CF4-AFFE-D542DBCDFB10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c294752c25cf20f2a50a627e32be3b49c8ac4c0b","datavalue":{"value":"W1536773907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575262$83BCEAC7-9EBD-4FD9-B0F2-A913DE51C3FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d9979573ec43424d4e7c70fe7557e2a624dc21","datavalue":{"value":{"amount":"+0.7993801236152649","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":"Q3575262$62825B75-6794-4FAD-BCB9-9A3EC16B2770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58473bd538153c908be51cac375301f8a23f77a","datavalue":{"value":{"amount":"+0.7859938740730286","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":"Q3575262$121695EE-1650-4715-8896-A3B3D98A190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b7b455a1ce992ba653578c9f1e936c3ba613b8","datavalue":{"value":{"amount":"+0.7776533365249634","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":"Q3575262$63911460-FD53-4563-B583-0F3E854DAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae21a694301765523f3da5b99f95884cfac20","datavalue":{"value":{"entity-type":"item","numeric-id":5410484,"id":"Q5410484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb8125f48e257ef1272965f95e9923332e7de29","datavalue":{"value":{"amount":"+0.7657750248908997","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":"Q3575262$8C792659-8E4C-476E-85A3-08360B6335CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1202b1ff58b7aac7cd4179f95712f87907be454b","datavalue":{"value":{"amount":"+0.7518846392631531","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":"Q3575262$CE73531E-A350-4230-8D0F-389525A36BD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575262"}}}}}