{"entities":{"Q5452717":{"pageid":7482276,"ns":120,"title":"Item:Q5452717","lastrevid":50327357,"modified":"2026-01-13T20:11:59Z","type":"item","id":"Q5452717","labels":{"en":{"language":"en","value":"Sufficient Preconditions for Modular Assertion Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259565"}},"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":"Q5452717$AA8465B8-CBB3-4050-8164-74F46D72695D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63a3f71d440b007e352db6bb8a67dcb9381f31c0","datavalue":{"value":{"text":"Sufficient Preconditions for Modular Assertion Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452717$771FAE5C-791A-48C4-8B5E-AF357D2BC7CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40df4be76f6b31048847094f87f3c06b0ed4c66b","datavalue":{"value":"1138.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452717$2D7AC9BB-6B6F-4743-83BB-9C4C614B2D08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83c78599fb6b9054a331936823c1afc63c173f82","datavalue":{"value":"10.1007/978-3-540-78163-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452717$19836737-F0A0-4457-B727-8D4FCCB27D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"349ed4840df52c7a6733fc259f3e63d228d04410","datavalue":{"value":{"entity-type":"item","numeric-id":604390,"id":"Q604390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452717$491037A3-C78C-458D-ABEC-495AB3EAE8A0","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":"Q5452717$64B0491E-87E6-41FE-B937-FE51BFC2E3BD","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":"Q5452717$7728BD81-1016-4A5B-832F-BE71CCC72653","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452717$D80291C0-D55D-4AD7-85ED-6BB04167E0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452717$8EF47B04-4805-4B37-95BA-9FAC86A9D613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01efafcf8ed944d17ce101efa81ecd2c69a41e1","datavalue":{"value":"5259565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452717$940226B6-B4AE-4D02-A17E-2C9A4D219595","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452717$91E9A7B0-8D4E-432B-80ED-34F4907FD195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452717$04857EFF-672A-42CC-AA21-580296B2A569","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":"Q5452717$05BF821F-7263-4A82-ACCD-61770CA6DC35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2701812026c342d4bde685c852abfac88dc1a6d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452717$A27E4BA7-6400-49AF-B8E4-9814AE258266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05f98701499bfa3ff8e975f7a3097ed738b5ad70","datavalue":{"value":"W1517409399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452717$4645BF9F-51AC-4561-B2A6-B2E6D7AD6205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ceb98e9f1f7b87ac262b76da86297b305c0477b","datavalue":{"value":{"entity-type":"item","numeric-id":5387906,"id":"Q5387906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e755033a2e113d82a0e76d8c0ed2da052d3fdc","datavalue":{"value":{"amount":"+0.8004498481750488","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":"Q5452717$96399911-D7CE-4489-9199-39BB5DF03D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c5e28c2426f36317b4262f4c6b116c314053825","datavalue":{"value":{"entity-type":"item","numeric-id":5326301,"id":"Q5326301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fee8855f9cedb309cfb721eed1861058763c39","datavalue":{"value":{"amount":"+0.7405483722686768","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":"Q5452717$A6E0E51D-2B42-40E5-AF62-585D9A10D279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d800e6c4814ceeff1e83807d6850fe86dd4aea","datavalue":{"value":{"entity-type":"item","numeric-id":5452620,"id":"Q5452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcde8184cb22de85889c0a0348863e6447079f2","datavalue":{"value":{"amount":"+0.7364236116409302","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":"Q5452717$0DBEE323-8F59-4618-BB64-5144308A43C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa9762f2bbcaf949394e10f1e3500c1499f3788","datavalue":{"value":{"entity-type":"item","numeric-id":2819844,"id":"Q2819844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a0c5db5565470c2dfdf77857b692fa23c50415","datavalue":{"value":{"amount":"+0.7168703675270081","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":"Q5452717$E57EF7B0-277B-42EF-863C-D425F998D32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e005a0abe117167f38c3b5f5143e8643419a6","datavalue":{"value":{"entity-type":"item","numeric-id":604392,"id":"Q604392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c189b29da332cdf140ec1bb2b49c7ac10caa62b5","datavalue":{"value":{"amount":"+0.7161099314689636","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":"Q5452717$4D18FD4F-5EED-4B2E-ABF5-08A6A94E311E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452717"}}}}}