{"entities":{"Q1836974":{"pageid":1847716,"ns":120,"title":"Item:Q1836974","lastrevid":74175213,"modified":"2026-04-14T18:47:39Z","type":"item","id":"Q1836974","labels":{"en":{"language":"en","value":"Estimating the correctness of computer programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3798991"}},"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":"Q1836974$9712ADED-387D-401D-9CF0-F2B90D8D7ED8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e2630315fac403ef9a22bf941eabc76eb5c5a33","datavalue":{"value":{"text":"Estimating the correctness of computer programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1836974$9E77559A-9C75-4308-A5F7-DBA9FB39384A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb3dbd998121963f6a90213c6d3c4f70966b5eb3","datavalue":{"value":"0506.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1836974$83D02891-DA2F-413B-983C-95D4B60CD838","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c22f23ed4d485e280394602a6c5c05459b22f63","datavalue":{"value":"10.1016/0020-0255(82)90038-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1836974$EF478985-DA3E-4203-8A04-4E7D5093ADB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc91b4cfe7d86d8c9ebf9eca887b9a370fbb9ea","datavalue":{"value":{"entity-type":"item","numeric-id":1836972,"id":"Q1836972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$5A737FB8-7F77-418B-BAAC-7D3A4191EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a7f8e898b42c602a8cd8e77e00fa677eadbf8be","datavalue":{"value":{"entity-type":"item","numeric-id":1836973,"id":"Q1836973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$6EBADC9B-C14A-477B-A8CE-CB8A13E3597A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$870E29CD-B4D6-48C5-AB5D-177C45799B77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1836974$46A7D7CD-B675-4127-B1DB-FF91BD206575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1836974$B562C344-657D-4BA8-A4CB-6FF69DFF32A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce3dc1c44a8971d34d53812180af37a499b9e3ef","datavalue":{"value":"3798991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1836974$8D944681-2BDE-4A9D-ADD5-A0783E3031E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9174ee3c5c04d5169bdead173ede16cf3755d8","datavalue":{"value":"program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1836974$8CA2BD15-E0D5-49C6-8416-4519263020FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1836974$6E420FD8-CF5F-47C9-BB0F-8E9FD2328DE6","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":"Q1836974$2CD24352-10DD-4217-AEA9-E32447254354","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c46f1d906cf6b2ab7bf4ee1f1240c4ca48518e","datavalue":{"value":{"entity-type":"item","numeric-id":4158362,"id":"Q4158362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$67C3939F-F868-4194-9C8D-802DDF19E814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d002d2887d1454edcf2acdd992bbc87628b257fb","datavalue":{"value":{"entity-type":"item","numeric-id":4122775,"id":"Q4122775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$E50551DB-30F0-4450-B7CC-DA763E080D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604ef8968d4bcd633b623c6101922dfb32dc1b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4162634,"id":"Q4162634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$59E25757-B11D-4446-BEBC-6CE322C90032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ac8fbaa5327d9e78aee985d91f80cbe5620928","datavalue":{"value":{"entity-type":"item","numeric-id":4082984,"id":"Q4082984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$F8914DEA-CE02-45EE-83AE-B2EE1981B4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61c4a84e55204f564eb9fcf3aeb4be80bad8956","datavalue":{"value":{"entity-type":"item","numeric-id":4162476,"id":"Q4162476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$259FEA27-6423-4F09-B495-C328F7B61ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b095597ab8095fa5b90f237df68d69b7122d0ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4199489,"id":"Q4199489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1836974$B9B02DCB-06B0-4830-90CE-41A3AFF41485","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Estimating the correctness of computer programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Estimating_the_correctness_of_computer_programs"}}}}}