{"entities":{"Q4185780":{"pageid":6215381,"ns":120,"title":"Item:Q4185780","lastrevid":28403786,"modified":"2024-03-05T13:37:32Z","type":"item","id":"Q4185780","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3622920"}},"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":"Q4185780$7CE85A34-D9A8-455F-9132-96478FF570E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349aaaa3d537a90c0f37f0ffb0cb7378395df2d8","datavalue":{"value":"0401.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185780$F896F2F1-956A-4A61-9749-7A3737FC0FEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185780$85B779D4-67D9-47CD-91D3-76845ACB33BC","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":"Q4185780$98B0CA63-BA1E-4A16-ADA0-7F8053C22879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185780$C9F290A8-1F92-43AC-B432-A9EB4A1DCF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185780$B0A444A6-A57E-4E84-BD21-CD848BBA0A8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488d0b02ad7d2397870342a8ed6cc5d68785fe2b","datavalue":{"value":"3622920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185780$FFCAD336-95B8-474B-9622-274B6A512F67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc87a87f88ef89b59d1977c9dcfe99e3ee0496b8","datavalue":{"value":"Program Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185780$9553D59E-EDA0-4C4E-B3BF-CDA5A3300CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf2342a51e0df71a1081888d606ad21385749a9","datavalue":{"value":"Predicate Transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185780$80C030CE-B2C6-4FF3-A661-F09CC23770B7","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":"Q4185780$6BEFDC4F-FF1A-4BE5-8DB8-B9137FA73C14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4185780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4185780"}}}}}