{"entities":{"Q594575":{"pageid":596351,"ns":120,"title":"Item:Q594575","lastrevid":62995629,"modified":"2026-04-11T09:34:41Z","type":"item","id":"Q594575","labels":{"en":{"language":"en","value":"Product properties and their direct verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3835317"}},"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":"Q594575$0C01FA6A-870D-40B2-BA38-609D702B0971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e27a913a2ad48234763edc9efc025aa51e001660","datavalue":{"value":{"text":"Product properties and their direct verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q594575$4598A5B3-5352-41A6-8DA1-8ACA0DF1FFAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6e67fc8a83e95a945ded7f3def39f1927656bc4","datavalue":{"value":"0526.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594575$69B11D3B-8834-43E2-AF3E-8182993C3326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40c76d2930d11bd60cb6606f0ea89ff2b29a2c00","datavalue":{"value":"10.1007/BF00264278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594575$A58CF733-F385-4499-8E83-D85ECFD4797F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594575$37FB45B4-148D-402D-AC38-E096F15B4588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594575$E14F5406-922D-4F7C-802A-8E4F3F206DCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q594575$61EB4045-2B90-42D8-860A-FB8629C1A53C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594575$E1CDC97C-23EF-4043-B810-14A5D2F41114","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d3ae3079a10a05109fd3d05a1b87f50a3d14ad2","datavalue":{"value":"3835317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594575$D9578F58-56C1-4D07-ABB9-DF9BF13656C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829b3ec468c0ca98c41c585c588edcd324b64acd","datavalue":{"value":"Floyd method","type":"string"},"datatype":"string"},"type":"statement","id":"Q594575$89C3DBE8-6857-4E65-B788-809226D37F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3fbf189dc97f62932d15ff46c0848141262551","datavalue":{"value":"Hoare method","type":"string"},"datatype":"string"},"type":"statement","id":"Q594575$F11BD082-8FD8-4D35-AFB4-C97985681852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q594575$10D73D44-2214-4DC3-98C1-04FE695943C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q594575$89D08F5F-1631-487D-A18D-3D45EAC6B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf890cc922906bc3169bd7b9a3510e25d9b0a092","datavalue":{"value":"second- order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q594575$B31E8FA6-1E68-4E1A-911F-A37800222BE3","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":"Q594575$9490BE60-78B3-483E-A1A7-91315C2E95D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f214240c52454e6f319cf288ee204abceeea3b75","datavalue":{"value":"https://doi.org/10.1007/bf00264278","type":"string"},"datatype":"url"},"type":"statement","id":"Q594575$C8281B80-C70E-4425-B84E-77A5AF8F62A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"193dece020a4a423c10501b0a21e23b7fc22c44b","datavalue":{"value":"W2061703155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594575$ABE16164-C85B-4F01-8BA0-9A1B50818BF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Product properties and their direct verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Product_properties_and_their_direct_verification"}}}}}