{"entities":{"Q1898818":{"pageid":1909560,"ns":120,"title":"Item:Q1898818","lastrevid":46336497,"modified":"2025-12-24T14:33:23Z","type":"item","id":"Q1898818","labels":{"en":{"language":"en","value":"Proof by analogy in mural"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 800439"}},"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":"Q1898818$DE62C40A-EE47-44C4-AA13-AEE453145D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac87eb4cdd6967544803f3dd4c806c7af6085fa0","datavalue":{"value":{"text":"Proof by analogy in mural","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898818$B3AB8098-65F2-43AA-AD43-C9E937D2C461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a6eb54b3c5ad3943c43985f5b73172f9f215453","datavalue":{"value":"0835.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898818$C32E767F-5569-4F52-9C12-45D9CBB4B70C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d40e5d2fcf62dfd99f2aa4a8e7e4e4fa84228f8","datavalue":{"value":"10.1007/BF01211605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898818$85682CCF-7D57-43A3-999B-E28D27B9934C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbe32512e6103227b48e8b7d47a85ac2a67609fd","datavalue":{"value":{"entity-type":"item","numeric-id":1898817,"id":"Q1898817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$24A7E9AF-1F75-4FDA-9205-D61399463417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$86884322-D448-447A-AA21-7DDF4A80187D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c4e5afb6084c75f4f8878bb3bd337019ced071d","datavalue":{"value":{"time":"+1996-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898818$B744F327-F8BA-48F2-9C0D-1CFD7E51EE08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898818$2738E141-3150-4303-A8D9-DAF81F1E4BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898818$0E8FDEF1-E89D-4C2A-92DF-75E858061078","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1f3c934e9a32c88bc4973e4082b56ad46b1c783","datavalue":{"value":"800439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898818$4D6BAAB6-99AE-4FA4-A44E-77A0135F9A3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898818$F5FFE25E-61CB-4833-AA69-B2094C0A2A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f12682f64f5866e4b655585f66f88c75047550","datavalue":{"value":"analogy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898818$589BF484-C6F0-4F4F-8733-FF9CAA160D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898818$6A7EC1E8-3DE6-40D4-BE31-8F57A77D874E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e0da2013ff3b32bcc05c0d69931ff88dc11497d","datavalue":{"value":{"entity-type":"item","numeric-id":35398,"id":"Q35398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$B1B8A286-7EE5-4E54-B77E-6ED4C3CBAEA8","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":"Q1898818$5A67787A-0BB4-4F2E-9414-2281DB9DE2B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6821d8bf92570a1265d30079b71046c8a303a664","datavalue":{"value":{"entity-type":"item","numeric-id":3327746,"id":"Q3327746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$5AA241FA-FD7E-4F4B-8DD8-1A505F5F2C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$72F81549-2458-4F3B-87D3-D75F30C87289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01009f88920082225c684801252fe737fd4fe7ba","datavalue":{"value":{"entity-type":"item","numeric-id":1118423,"id":"Q1118423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$43BBC25B-0DA6-448B-9D57-94BCD8122FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a902cb5984a7967d2b7f17cb76cfdbe88b622b4","datavalue":{"value":{"entity-type":"item","numeric-id":4002148,"id":"Q4002148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$DB81BE68-8C87-432B-8A98-F42DD13E1F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$5D39746D-AA86-4930-BEF2-AE05B1EDDC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6943d359471f17ed0cf6ca2dc09b37122f981dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2549584,"id":"Q2549584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$1AA05728-5FAD-47F4-8417-FF38675966EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ad21c4a3a098255dd2efb1e77599202b4348a9","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$EE03D7E9-8AEE-494C-A51F-03A487246175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab9ab22080967e5d288bfe71ea650ed7efe6f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4002491,"id":"Q4002491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$D2AFFBE2-F6E2-4092-9F1F-43F257916E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5951afe1dfa4a3f3ec8df71320a471b6bdb2caf8","datavalue":{"value":{"entity-type":"item","numeric-id":1898818,"id":"Q1898818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898818$CABC7946-B4CB-4CE5-B702-4E3F4D6F3933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69af69ab1c44d270048ee01d2ee3de740fe47338","datavalue":{"value":{"entity-type":"item","numeric-id":4002148,"id":"Q4002148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302eb1e440cda693c0589fea4a553f03b1f99d30","datavalue":{"value":{"amount":"+0.7349821925163269","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":"Q1898818$43012527-6F09-44C4-B2BA-80A312A187BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5348b8a4e161aacdbed50cbbc41d026a283965","datavalue":{"value":{"entity-type":"item","numeric-id":3817655,"id":"Q3817655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d2819f7db20735568c3bc7664f6f8d59f6b550","datavalue":{"value":{"amount":"+0.7226296663284302","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":"Q1898818$CC4A003A-B3F7-424C-AD51-A75D6416717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ef04229fe5b87a8f06fd4e0326e4847ef09985","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b340261706ae810817d552cb928e23b89651ee6","datavalue":{"value":{"amount":"+0.7206123471260071","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":"Q1898818$5FBDD038-1F49-4D7A-B8E7-3C203ECDC575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2a92b9aa2fbd2b87f411879cc6f75a6dddc210","datavalue":{"value":{"entity-type":"item","numeric-id":2842639,"id":"Q2842639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6ba4c26b745d0a3c9c62345971ce5ce17a09d4","datavalue":{"value":{"amount":"+0.7107144594192505","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":"Q1898818$FF4914AD-BE54-4240-9EEE-DE05BDC828F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1898818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1898818"}}}}}