{"entities":{"Q3851588":{"pageid":5881493,"ns":120,"title":"Item:Q3851588","lastrevid":54524756,"modified":"2026-01-27T22:43:43Z","type":"item","id":"Q3851588","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3651720"}},"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":"Q3851588$AC75C3ED-53FE-4C80-8347-F49782A93348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e484c1a1474926bb081d995b04a1ffd0f7c84ae","datavalue":{"value":"0418.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851588$2C96B915-D0E6-4090-BFB4-E0B46B34F763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851588$18598A17-FAA6-4F65-851D-7288294AF67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851588$2F564BDA-85BC-4D0B-B58B-F6FC11385510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851588$78A6E0E2-C57C-417F-A008-9C31DAF09FF9","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":"Q3851588$85D279F4-3E22-4E58-88CB-770656CDEC39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851588$5712885E-C1B6-4AA5-B075-704615258E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851588$35989E71-A9EF-408A-987F-34F67D951F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851588$46B969FA-31E4-46B7-A9FC-45218650F849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e8ab1cb69b1d8f72573ebcad1d93eee76416f8","datavalue":{"value":"3651720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851588$9069D43E-41F2-498D-AF0E-1ACDAFF1D354","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3986c46bc4c9aa5d3bf3fc49315e98d94355bf71","datavalue":{"value":"program semantics specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851588$FD3E1275-0EB0-4630-8A9B-595103847595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e73c9f093401156d217296e9cc1f2fc1690866a6","datavalue":{"value":"first-order correctness theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851588$EB3674EB-77BB-49BF-B402-0874B926B15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851588$5D392896-0766-4A76-B076-CD371248334D","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":"Q3851588$14523E3A-9239-460C-8D8F-1B285FD9A43E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3851588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3851588"}}}}}