{"entities":{"Q5235252":{"pageid":7264820,"ns":120,"title":"Item:Q5235252","lastrevid":53556557,"modified":"2026-01-25T06:58:11Z","type":"item","id":"Q5235252","labels":{"en":{"language":"en","value":"Building proofs or counterexamples by analogy in a resolution framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114559"}},"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":"Q5235252$8207934D-E170-497C-9CEE-3AD63306FBCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54317adab4b4cff1243299705a07411f9860575","datavalue":{"value":{"text":"Building proofs or counterexamples by analogy in a resolution framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5235252$16944886-1438-4C51-A37E-1283C335873C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25a37146e2fc32b44217db8e029bd18414a9918d","datavalue":{"value":"1427.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235252$58F109D8-B9EF-4DE7-80F6-0F6A1C5D259F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32cd3f89918fec8766c21d27116afffbf4ddf494","datavalue":{"value":"10.1007/3-540-61630-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235252$37B0BB7F-F02C-4903-9035-C4D0149438AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66e814199ddae0a7bb25aac0ab0730f7d0a0076","datavalue":{"value":{"entity-type":"item","numeric-id":1382152,"id":"Q1382152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$82AEA060-270F-45CB-9D29-52543E0777CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd9239e30d1492d9c0983d3bc066d1828ef8e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1382151,"id":"Q1382151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$A53F9EF5-BC14-4AFC-BDBC-24A2D8D4C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$AF683EE3-58D2-4835-9BC2-9C1D2CCE9D8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$5E469276-E6F2-415F-B09D-62A902EE2737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5235252$647BD024-D0D1-4B51-ACA4-52D1AA467EA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235252$6A13F883-6D29-4AC3-992E-B4D06C3CACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235252$1956C395-0612-4D65-9158-340C3B47FF07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"460b8bb579cde0681fb0dd8260a16d1e5d68de7d","datavalue":{"value":"7114559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235252$C223736F-26D0-452E-AAEB-CDBCBC49D0A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f12682f64f5866e4b655585f66f88c75047550","datavalue":{"value":"analogy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235252$FE8B019B-AA90-426F-9B1A-0C10787289E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0c23329b48b104ed3960c66a0cad0ccbc7b7f4","datavalue":{"value":"extended resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235252$57A28287-9FB2-41CE-BA44-B2104021124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235252$36DEC9B0-F292-4DE1-9F57-3D9E1BEF2B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fba7c6bba591d632585d3bbd3c5ce6894e9b0bd","datavalue":{"value":"second-order terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235252$DA5FA396-FC1C-4043-98D9-BA7DE6EF8740","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$8597DC5D-891C-46B7-BBA3-F99416143AAF","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":"Q5235252$C109D29E-7233-4154-AF37-21D17FD2C1C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c44a07b497cb20dccb2ab14a19677eb664063a1","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5235252$FFCFCCBC-DCFA-4B5A-A309-A7E0CC544945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"577efe67782e4a0e36b351a4c2e5935046067e23","datavalue":{"value":"W1506416681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235252$DF0F9C98-1F35-4B75-9472-5439DD325495","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19505d15f4f89530d10aab28f5ab0b6c7737db8","datavalue":{"value":{"entity-type":"item","numeric-id":5210763,"id":"Q5210763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$55E44E55-B322-40F9-A1FD-FA83A7A6EC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edead5300ae98ca370a8f480991b5f74c59eaf78","datavalue":{"value":{"entity-type":"item","numeric-id":4255510,"id":"Q4255510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$1BCC7581-7B5E-4F0D-B9BD-F1886B761073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$16E38BC8-3E2F-42A0-BBBF-8FC2DA3D9E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$E4803D65-ECE9-42C5-A56C-F2EAF5F8D6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f44fa2de623bd99222889ef48d2d3d7c7088bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5055870,"id":"Q5055870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$0F418A04-79EB-4147-9A76-AF994A307E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$EBC8DF23-28C6-4424-8324-3A9BB665560F","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":"Q5235252$CDFD74A6-3EE0-4821-BFD5-7B517A2900F4","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":"Q5235252$A88FC76A-CE69-4D05-8229-7297296755B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$A79B3B35-07FB-463A-B4B2-39AC20C655E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$89BD69EA-7E74-4DB0-ACDE-F0F26C551057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$25B72BE1-CFB4-4C0B-89B9-F4DA6F43D94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6ef22604ffcaf8d1dc55b11c5f547fd8d6565f","datavalue":{"value":{"entity-type":"item","numeric-id":4296171,"id":"Q4296171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$39974D58-53E1-4558-96C3-4467E466BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235252$6AAEEBBA-EA3F-43D1-98DE-4D4F97A8AB02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47108393db8ff14712020915fc68ed167a46adfc","datavalue":{"value":{"entity-type":"item","numeric-id":1382153,"id":"Q1382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458afc92f8f616223b9bcad82c1b8bb2028efe50","datavalue":{"value":{"amount":"+0.9274494051933287","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":"Q5235252$7E58905C-C49D-4E40-AC1C-20D0BBB1814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8daebb386f5b0811f7c17763d9beb7f6aeb15c","datavalue":{"value":{"entity-type":"item","numeric-id":5234724,"id":"Q5234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4858f66301054c949114059097ef3ea86103a0b","datavalue":{"value":{"amount":"+0.8522186875343323","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":"Q5235252$B8D7CEB3-4682-4FC6-AEFF-D4247D36A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f897a12417f2023814e9508f53d25139686a4254","datavalue":{"value":{"entity-type":"item","numeric-id":2737531,"id":"Q2737531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06641906c624b20c3b7a807ee5a2235aaf764e77","datavalue":{"value":{"amount":"+0.7924226522445679","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":"Q5235252$BB657EBD-FF0E-440F-85C7-01C20B822065","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":"8e1d22b4b67f1a0d175e684f250893b91f54c122","datavalue":{"value":{"amount":"+0.7921909689903259","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":"Q5235252$89933E12-8B19-4F42-B3D7-AC816D264D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a666456026cbeb2b2c1988334a1396c6b0dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5739522,"id":"Q5739522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14193f8b01683a9c162fe404fa75b727a9957be2","datavalue":{"value":{"amount":"+0.7798951268196106","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":"Q5235252$143FB4F8-656D-4B07-9031-F2D8353AD406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5235252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5235252"}}}}}