{"entities":{"Q5210767":{"pageid":7240338,"ns":120,"title":"Item:Q5210767","lastrevid":41193883,"modified":"2025-04-18T22:43:31Z","type":"item","id":"Q5210767","labels":{"en":{"language":"en","value":"On the connection between narrowing and proof by consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154543"}},"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":"Q5210767$BC53AA4C-18A5-4943-A82D-4A7840B4D84D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b6f3fd28ec1762f4169adf64d3c6d43a4373751","datavalue":{"value":{"text":"On the connection between narrowing and proof by consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210767$AF202C27-8916-4283-AE61-4EC86AA784EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"343da325a7d999bd1d5b728303f92d3c39fe7288","datavalue":{"value":"1433.68557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$7E33DE07-DAC9-46D3-9848-5F053479BF6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aacd4afb3c1a35cb434819fb783f66203bb20698","datavalue":{"value":"10.1007/3-540-58156-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$9C578BA6-8943-41FD-8EE8-2B0BCDFDD6FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$7559DCDA-3107-4CE1-B7E0-41FD1A0821E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$9DB16E55-EAA2-4411-8323-19D684762B82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210767$A9C52A91-E7A3-4C2A-A4D1-FA610D730311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$F4ADC57C-AC0D-40D2-9CEE-2A2C5734DD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$D7F7A783-6506-4DBA-BD01-C88FF7377BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$1772B87C-E7F7-4F2D-B90B-C80E6E6F5EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$064A0D8C-C7B3-424B-B9B6-27E4F0077D54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1fffee59bde27b0225f1908b8a5d65ee9fb22bc","datavalue":{"value":"7154543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$A6785F41-B4FF-4788-990B-EC619ACC15E9","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":"Q5210767$40BE577B-6A45-43A7-AAC0-833F6849CC64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d316caeff8d7bb8c3c376f58725d1088c68ab55","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210767$FE8EED53-EBD6-4551-92CF-5DFE6DD23C18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8becea884130a1b7902b895ddd01bb97c979452","datavalue":{"value":"W1598005203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210767$6AD535DC-E185-4BD1-90B8-4FB903A999E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0d59414c9b5c266b18b5ddd6d4e96c6d9862f5","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$75B39881-AF05-453D-AE0D-2F89A719A4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ce0aa6eac29dc9bd7124592c7a06e0d61a021e","datavalue":{"value":{"entity-type":"item","numeric-id":5055753,"id":"Q5055753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$19887B02-5145-410B-8486-226D5C01BDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213021477439289ed9bbccec2a1e394b7fd1047f","datavalue":{"value":{"entity-type":"item","numeric-id":912605,"id":"Q912605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$65EE650A-6C5D-42B6-90F2-A0C49A30B2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$671C88FC-C05C-4DE2-8FCC-26B0EDFD49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$B3875094-EBFD-4749-AA4A-DC308DCE4C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$2C4D5872-33BA-4AB8-A9E1-1118793C938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$ABFE169A-6C52-44ED-8A7A-559A638645B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$4F08D820-0512-455F-B0F6-43D1F602CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$A7A385F4-EBB6-40A4-8611-8416FA279415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$74F083CE-A865-482D-B9A7-5A8C0B9CD83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffcdb6809d7206633a782158c40b3eb602629cf","datavalue":{"value":{"entity-type":"item","numeric-id":4246727,"id":"Q4246727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$6BF94A6E-A930-4F72-A0AA-E215E2B1589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$72BF4276-B3FA-466D-AE34-F059DBF1820B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$FA622B6C-CA9E-4BED-AEC6-69BEA56C16DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$6169E22B-5207-48C1-82AE-E27E4D4B699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da58277329f09a1823606b5f9166621c04696001","datavalue":{"value":{"entity-type":"item","numeric-id":3779784,"id":"Q3779784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210767$3E25DAA1-F01B-4FBF-BC03-6684C210481F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620c4caf3dce07d738acb7de2824c5e22e0acace","datavalue":{"value":{"entity-type":"item","numeric-id":5055818,"id":"Q5055818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28fec9b9646bc770fe31ba70d826e7648c2082f","datavalue":{"value":{"amount":"+0.9171655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$B55C4457-BEF5-4E82-871F-E057A7D60018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c725820b5baf9eaa55d91d32089e48e59d850b","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3eeb5466cb1211eecf413f44c41f16bdfff9ae","datavalue":{"value":{"amount":"+0.87080246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$EA72A61F-37F9-4F6E-B58C-6F62197CF792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a53312dc73862c08b113bab0d74fee843aab441","datavalue":{"value":{"entity-type":"item","numeric-id":2871873,"id":"Q2871873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97918aeffb424c647162fd09cbd86ae53ea3f3fa","datavalue":{"value":{"amount":"+0.8683778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$960E69EC-4576-4223-9156-09DE47807BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640620895f6d3227637786c0492faf3aa9a05e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3608811,"id":"Q3608811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d954d5f8a3cedbbaa1cd3c6dec5a635c3446e7cb","datavalue":{"value":{"amount":"+0.8673772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$A1856FBF-3427-4802-B5DB-0A46053569CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13b86df867d8e48d870aa8fa67a359be223011f","datavalue":{"value":{"amount":"+0.86721206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$11008D53-2F70-4F9F-9679-1FD77A2D9394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c7421af81b0ea6d8e606342912f397505abd16","datavalue":{"value":{"entity-type":"item","numeric-id":374974,"id":"Q374974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e331a1735cf01480b1d55f43536ab4899c453c65","datavalue":{"value":{"amount":"+0.86666465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$DC262219-8F54-4D5E-ACBC-9801248B2B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f9c9579c94fc8f484294b7598a1b529ab63892","datavalue":{"value":{"entity-type":"item","numeric-id":3336735,"id":"Q3336735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b720f4023af997e1231e23c10944cc4cd6fabb1f","datavalue":{"value":{"amount":"+0.8633604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$03DA9EA7-4CFB-4737-87B9-AB7F00337FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6346741db403ef6a066cd2b03e2a6a990a0ec5f4","datavalue":{"value":{"amount":"+0.8620072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$0C252B4C-6319-40E8-9529-0EACACE7F9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a78c41bc3cc611cf5c6ea68d56b3e56736cc44","datavalue":{"value":{"entity-type":"item","numeric-id":4028349,"id":"Q4028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9589a896cdc935145963cdd1ad2c0b9f701ba2ac","datavalue":{"value":{"amount":"+0.8596724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210767$AC743EDA-F3BC-4ACF-8F43-30C91BF9454D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210767"}}}}}