{"entities":{"Q3678664":{"pageid":5708570,"ns":120,"title":"Item:Q3678664","lastrevid":50052493,"modified":"2026-01-12T19:48:20Z","type":"item","id":"Q3678664","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900148"}},"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":"Q3678664$4D2087B3-AA14-4442-BE70-3388F7BB09C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8d8d714adfe32c5cf1e490d8fb52888aa418aac","datavalue":{"value":"0564.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678664$48776818-1F6F-4D9F-9B63-C474D2AC4D00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3678664$AB79CF79-CBDD-4AFE-9C8A-F191976E05C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3678664$A45DDC2B-DA7E-4C8C-8575-24F87F289EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3678664$008DE309-27B6-4F50-BF33-6A6F92DFF2CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678664$4BF080A1-7C6B-4A81-A2D0-D82DBF601F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678664$35341843-33BC-4271-9838-501AFFDF6BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678664$EA4B983F-ADB1-4F22-82D5-178889CEC43A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"945685b2fdf27aca36c71f4898554158a48f01bb","datavalue":{"value":"3900148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678664$72DE4436-8032-4417-B68B-F187F08CE810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678664$DF064991-D02D-4C70-9A01-C35EF62A0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678664$F87CE22F-1569-443F-B3B0-8B2392C3884D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678664$6AE9E57A-CE2D-440C-A5FC-1A34CD99D50D","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":"Q3678664$6281B6EE-4E7E-4D96-BA21-F4488765D58B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a02fcf896d0b6e735b28e5731aa2b2e3b08ad1","datavalue":{"value":{"amount":"+0.86616886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$2C56C8CE-3B9C-4B9F-8AE2-833B4E932A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5652f6ea177e26c0e269378dbed95cca44f56bb","datavalue":{"value":{"entity-type":"item","numeric-id":4353623,"id":"Q4353623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c66d4ede3d0649d0dc6c4546d6c79ac20fd9f33","datavalue":{"value":{"amount":"+0.8659718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$C4CFF2B6-691F-4141-94A9-A1E63DFD61E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9357f030428601ed694758b55100476237598b8","datavalue":{"value":{"entity-type":"item","numeric-id":3765226,"id":"Q3765226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe9ac8ca684c2e61afcb31ad8ac4107967019a9","datavalue":{"value":{"amount":"+0.85042584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$5B862164-FEB2-492D-8CA9-97387D50159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c0922a4dcdaa0605c9a4a80ecd71e3ac3c6076","datavalue":{"value":{"entity-type":"item","numeric-id":3752364,"id":"Q3752364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890045c797907a76dd4aac43ed230e44d7a8f6e4","datavalue":{"value":{"amount":"+0.84081435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$D778708E-F96D-4E7C-A45B-2759A809F9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d5c56bcc6aeebdf7dd718eb8e042abba5a883","datavalue":{"value":{"entity-type":"item","numeric-id":5410328,"id":"Q5410328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c7f4e93415f282d2515cd7abfe60b9a4af1077","datavalue":{"value":{"amount":"+0.8404396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$76B66196-04AC-453D-851F-129A0A6ACCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcf196c14d2dc4019d82ddcb9f7ee163875b9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4834298,"id":"Q4834298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcd229b4c23fdc8c45a4e4e9e8d8c896e8797dd","datavalue":{"value":{"amount":"+0.83998716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$5F4A91AD-1794-48D2-8CA3-9C81DA78126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d3f08064f1abb3546d8a6c6a6e8d513af9c865","datavalue":{"value":{"entity-type":"item","numeric-id":2941756,"id":"Q2941756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5333584e71f97aea289a65c0c6b51ceaaff450d9","datavalue":{"value":{"amount":"+0.83562714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$9342DB36-1F84-433B-B20F-17E6D0681C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b8a6cbb13b94e5edefc7bccc16726e3d1d6526","datavalue":{"value":{"entity-type":"item","numeric-id":3700827,"id":"Q3700827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439e5b627fb2e8071574c635d0db1e01712dda13","datavalue":{"value":{"amount":"+0.83477646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$F2FEEEB0-D8F2-4487-9949-D21289D66E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f06989c26821c9967d451ae2763fda03095d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3730011,"id":"Q3730011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439e5b627fb2e8071574c635d0db1e01712dda13","datavalue":{"value":{"amount":"+0.83477646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$CC1FE520-923F-4CDC-B8CE-22E00C92776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a674c3d8f7eb7ebb4ff5cbcc0c7f9157690e531f","datavalue":{"value":{"entity-type":"item","numeric-id":2209502,"id":"Q2209502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b01545beed6e73f27ab512aa7ad2587bb62176b","datavalue":{"value":{"amount":"+0.83474505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3678664$EEE99026-9624-4B50-841B-7189F1BBC002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3678664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3678664"}}}}}