{"entities":{"Q674267":{"pageid":676116,"ns":120,"title":"Item:Q674267","lastrevid":63622728,"modified":"2026-04-11T14:24:51Z","type":"item","id":"Q674267","labels":{"en":{"language":"en","value":"Heuristics for a calculational proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986027"}},"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":"Q674267$871ED00B-E97B-430C-B92B-31768BFFBC0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"259ea0f359d9b2f8dac4d7ae05eec68e542f5719","datavalue":{"value":{"text":"Heuristics for a calculational proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674267$D723651B-1A97-489B-9D04-4214F7C023ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8704d9b8bd07e76282894b853ecf106cf4e57b0f","datavalue":{"value":"0875.68761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674267$92BC0D04-8647-448D-8BB6-EEA2DAAB756F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4585c8ec965427edd6412f5ffc79445a8a6ce77e","datavalue":{"value":"10.1016/0020-0190(94)00196-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674267$1570CF00-BF47-465E-AA92-AA0695C6605A","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":"Q674267$C375EB15-8745-4964-BBED-EEAE0EBA44DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674267$0C7EC565-AB51-4BB9-B9CF-B5526775A060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674267$D9A4CAEA-5AFD-4E2A-823B-EF7438FF2D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674267$A0772627-5E20-4D1F-B505-7FD1EF0A7EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c1894617151463e1a33286f4334a53715ba8506","datavalue":{"value":"986027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674267$4B520406-2B3E-47CE-B369-0FD5EE6E23FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8799b7912a65618313e794ea0d0ce0d6a1e22e46","datavalue":{"value":"Heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$973F56A4-40FD-4F99-8C4C-1A77EAE76658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182907af295a5b647e8556df2fe8750251a21980","datavalue":{"value":"Calculational proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$7D67BEC7-4997-4E78-8174-C98208B76BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9100f6cca5abcbba8e78dc210540abf7378e8bee","datavalue":{"value":"Formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$88E68B40-1233-4F7E-BCB6-A4F523BCA953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4c6bf50d7ad848bcb26036a7d1979e73272f6b","datavalue":{"value":"Proof design","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$9396E784-A564-4B5F-AA9A-0DF7DD47F617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7ce8d9cf4fb93e9019680fe869da7747899a83","datavalue":{"value":"Proof derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$28957BBC-4986-479A-8245-109FC15819BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2944b047effc232b2e65f4134ca2f1ab00ae420b","datavalue":{"value":"Avoiding rabbits","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$1FE1FDE6-EB83-483C-96CE-71507C56BD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd741cdd3cc66e41770520a3de8ae5a7c103979","datavalue":{"value":"Formula manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674267$148E4262-9F08-462A-9118-B8B9945F11FB","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":"Q674267$C65E22CF-182D-4931-8853-471579570172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a082975aef3d59216e48a2ae5255c8e18b0b18b","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00196-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q674267$6C68D4CB-EAFC-433A-BCD1-A756CB139509","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d97d36c671712bcec800cc77c3a48ceb6fea3d2","datavalue":{"value":"W2078982648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674267$E7D33596-AB85-401D-8FB6-96E26C658575","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af8a54a4d36479ba23d444ac4c8fe74da681de84","datavalue":{"value":{"entity-type":"item","numeric-id":4154505,"id":"Q4154505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674267$2F45E1BC-6D03-46E3-B962-A7E387B5EB0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f45a908dae7b276a058142218ca9cfb2d00bca08","datavalue":{"value":{"entity-type":"item","numeric-id":6481523,"id":"Q6481523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674267$040E9514-F13C-410D-A83D-7281CA9F90CF","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":"79ae07c2c021168f605b6dcab5f32f837bb482fb","datavalue":{"value":{"amount":"+0.7553479671478271","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":"Q674267$B99A6940-2260-4D8B-A4EB-062B33E2D261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7a5a8fd726eba63d9d6c53590c0e6963f627ff","datavalue":{"value":{"entity-type":"item","numeric-id":2730836,"id":"Q2730836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0829a7442f02a64b2ca903db69022824f7eae2b1","datavalue":{"value":{"amount":"+0.7412153482437134","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":"Q674267$B55CBF02-CFF5-4F0E-A2B2-6D0E50689513","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":"22d2d86448215bc7f935db452d4052fd543d3459","datavalue":{"value":{"amount":"+0.7368576526641846","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":"Q674267$1859A12F-3089-4F83-A536-DD9AFD4AD830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffce656a3b349ae7375eb718151524e72da5bf33","datavalue":{"value":{"entity-type":"item","numeric-id":1607098,"id":"Q1607098"},"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":"Q674267$2819950C-37C4-4B6B-AE24-F5D3479D4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eabada3a54f8f0c501d3854d89326e790997517","datavalue":{"value":{"entity-type":"item","numeric-id":1607091,"id":"Q1607091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b8bdf4004c4b2fb25677c1c714de5e245d7da4","datavalue":{"value":{"amount":"+0.7312087416648865","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":"Q674267$0045E7E9-693A-4CD9-A24F-8BC1B804F625","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heuristics for a calculational proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heuristics_for_a_calculational_proof"}}}}}