{"entities":{"Q4190099":{"pageid":6219700,"ns":120,"title":"Item:Q4190099","lastrevid":28413425,"modified":"2024-03-05T13:40:24Z","type":"item","id":"Q4190099","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628350"}},"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":"Q4190099$379BE40D-6232-46EE-97A4-CC92283A83C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9365cd61914108ae0a18637bc83a43b076787f66","datavalue":{"value":"0404.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190099$BD3EA4BF-72F6-4AB1-AFE5-640C6D6309F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"646719c8036b1307f835e0bf21b70451a2cfe024","datavalue":{"value":{"entity-type":"item","numeric-id":920969,"id":"Q920969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190099$2B54CB9C-A858-4E8D-8C55-679035A07B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe46baa1c49a39eba57b78767f5c209e948bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":1151015,"id":"Q1151015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190099$4218F92B-A8F7-4207-A5F3-33BB5B61C477","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4190099$BEE6107F-1A5D-4435-8F68-0621F336EF7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190099$9E2F0C7C-FE05-4875-AC9D-08B3EAFFD9CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c94e390218f06e9635d42eec1dc9ee53d9bc1df2","datavalue":{"value":"3628350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190099$1F1AF8BE-8E2B-49FB-A512-DD93EB25DEBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c593097fae33ca770fed7c90ae83ffc517fb915e","datavalue":{"value":"Program Equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190099$007D6E95-CAA3-4118-8F64-C0AAE8C1F7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c98a2ff93e5164a966a5202c2ed9b5fe8c2739","datavalue":{"value":"Provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190099$79AB40D9-5948-4D6E-8672-5820265ADA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"917924ffcfafe17babdc63767d5caf4100821bd9","datavalue":{"value":"Hoare-Like Deduction System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190099$09FA392A-25B7-4754-AE71-C99C1354AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e402386abfd43bc763d6a1efbdb520b957ab14f5","datavalue":{"value":"Partial Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190099$E275082A-65DD-4471-B96E-43F5AFDD6B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214a917af2c739e8ba4884ebd4be382240c09b54","datavalue":{"value":"First-Order Formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190099$5FDC9687-CF91-4C19-816F-708919B5D1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d69640f2299911f65713c4234b562477825dc2e","datavalue":{"value":"Program Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190099$8614AE8E-0071-4F6C-9FD0-05174A1C6A25","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":"Q4190099$5C027EC1-9911-45A3-AEF1-BCF55ABE02C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4190099","badges":[]}}}}}