{"entities":{"Q3657412":{"pageid":5687318,"ns":120,"title":"Item:Q3657412","lastrevid":49845175,"modified":"2026-01-11T06:14:42Z","type":"item","id":"Q3657412","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3808932"}},"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":"Q3657412$DC091BD4-0443-433A-B87F-598CE3522F51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c177fd899771f798d468783a972b71b5160c1f8","datavalue":{"value":"0512.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657412$594DEB02-6D4F-46CA-8046-700750B43ED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3657412$8AA9B6C1-5369-4751-B0CD-6D08A48560DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657412$7FC08C3C-4463-4792-B64C-783DDDA85E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e783ffafdde123a146a7e56c9c9fba9cdc06e880","datavalue":{"value":"3808932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657412$25E81E50-3230-4E04-A164-BEDB936FE6DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1191f2d867ca9a86054af7726f942ef5373719dc","datavalue":{"value":"program verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657412$53344011-AA6D-4992-BF85-505D7401BB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383889c487e68e47b89127f538572d5e5a215ea6","datavalue":{"value":"predicate logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657412$ADB03627-C781-4F10-9A3B-C7D1EADBBD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657412$4C45C5B4-3595-49E2-86D3-A6D4838ED95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657412$DDC2F4C3-92E9-464A-9066-A42B5F3D0A5A","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":"Q3657412$1D52CF48-65D6-40DC-B30F-1620424355C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3657412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3657412"}}}}}