{"entities":{"Q1607098":{"pageid":1617838,"ns":120,"title":"Item:Q1607098","lastrevid":67975686,"modified":"2026-04-12T20:36:02Z","type":"item","id":"Q1607098","labels":{"en":{"language":"en","value":"On the desirability of mechanizing calculational proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771800"}},"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":"Q1607098$F8AB3C41-DFBF-496F-A635-262AE166E63B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"887ef3977201d566d299602108c6d1f8cbc31aed","datavalue":{"value":{"text":"On the desirability of mechanizing calculational proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607098$87E5B661-8DF4-44A9-AE27-42CD9C4D05EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c61f2e2918f8791614ece318423ce0b15dcf986b","datavalue":{"value":"1003.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607098$EF601D5E-ACDB-4851-8EC7-6B2AB69C94C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6f2196af3a51e8fec9ecd1f83b110a5e14446fc","datavalue":{"value":"10.1016/S0020-0190(00)00200-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607098$5227C6B9-39EC-41BE-9CA9-D74015A3FA5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$1722D200-9C74-43FA-B2A6-3DCDECA49271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$FA7E073C-0B8F-4FDD-B248-41DAA0C174D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$1BBA7E41-FC3C-4F1C-B3C5-FBB581D0313B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607098$76746160-78CF-4AEF-AE9B-2FA50B80F41D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607098$19D64A75-0010-4C8D-98EA-B407611EC110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9864f3c9d19194bfdba3b90ce21affd23e4a5a93","datavalue":{"value":"1771800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607098$802ED558-154B-42E3-BE8B-8111D3AC74B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d131d26eb7f186440775d87c57a786146a5f628f","datavalue":{"value":"calculational proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607098$B01D4FE9-E4F0-49F0-BB41-EE99A04A8B4A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$A8138059-E300-4CC8-ACB3-C2A9A22B5089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$E4B7D577-891D-41EB-A4AF-5324FF11A532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$814F73BC-2FAC-483E-989A-21F5CAB477D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$F572635E-FC68-49D4-9471-DC0596830CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$8DE3B259-0CE6-4B7D-8460-C34CE80045F8","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":"Q1607098$CE8AFA81-3CFC-45F2-A7C9-90E0F969727C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$92DAA253-E3CD-4AB8-B8EA-91CAE60132E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d477cb1d0b0bee82fdac2c311a16209970b537","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$89FEA5CA-3BCA-4E43-9653-7A4FE78E1128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$4FD0A7B4-6512-4664-9083-EACBF8C98786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$82B4A626-4951-4A94-B9C7-34E5DE0A0DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$9C5D90F7-B79D-4341-8741-F7283314BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$E8BBA6D8-7C1E-49BB-9C5F-A565C92D7670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$AA2C8A5B-79C2-41C1-90D1-BA0E92DC7C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$68F54E65-7937-4120-9410-A6209BFF6B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5f8e999697be8803aeb1a5a951716367d93da9","datavalue":{"value":{"entity-type":"item","numeric-id":5957914,"id":"Q5957914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$C9521D0F-C7B9-471A-9865-020E463A606B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$78614CC2-8A77-419E-88D3-EA6BEADF1B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$B791483C-70D2-43F9-B3D5-1E74AA84ADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8680838b007c14f67cb4ae203d6f57432d1f73","datavalue":{"value":{"entity-type":"item","numeric-id":1055407,"id":"Q1055407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607098$89ECC149-8D33-4944-93FB-BFEC77DF527C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9336c45ce56e5e1587dd1d1db29a126bfa4e27c5","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00200-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607098$74E64F96-4E0A-4DAB-82F0-815933B043DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56fd91cdabc3eb32ed7cf63534a69676245689da","datavalue":{"value":"W1980636983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607098$2B5BE529-0DD4-4CB2-B81C-42152C0878D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074793fd282367856a7e352e3d6fba73d60568a3","datavalue":{"value":{"entity-type":"item","numeric-id":5957914,"id":"Q5957914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9a2f8696412164aa4f038acec3c62734075df8","datavalue":{"value":{"amount":"+0.8110359907150269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607098$AD2E32FB-0159-4BD2-BA11-5EA2C3B336BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400aa91770e1223f8eeb240d768c478ce35e2eee","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d8db13e523dcc2831b9a7cc6a4bb7fa0a7b0bf","datavalue":{"value":{"amount":"+0.7687442302703857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607098$3BF1E93B-9D7C-494D-B9B3-EF58B47D0241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1edaa0ed032c7df66d4eae95d6e07be4e998f8","datavalue":{"value":{"entity-type":"item","numeric-id":5747874,"id":"Q5747874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c2966dd7aa4e5eaae04e1b5b4799407c76c16e","datavalue":{"value":{"amount":"+0.7401513457298279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607098$3921422B-C89D-4380-B9CF-B2124E1116C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4340b7305445113e2ecd4dcc151f24069bebd60","datavalue":{"value":{"entity-type":"item","numeric-id":674267,"id":"Q674267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401eee9c6d50d318435c4620506e82d08fce179c","datavalue":{"value":{"amount":"+0.7333462238311768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607098$0D4D852C-8C3E-4B15-A22F-F5A2137E3BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ca1f12c67ad163330d43f42f3e886aa4ddc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4790652,"id":"Q4790652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554c2179d6438f320815780b290deebcf29e5a4a","datavalue":{"value":{"amount":"+0.7259389758110046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607098$560738BD-1B62-4D48-8275-46656E37B7B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the desirability of mechanizing calculational proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_desirability_of_mechanizing_calculational_proofs"}}}}}