{"entities":{"Q5214673":{"pageid":7244243,"ns":120,"title":"Item:Q5214673","lastrevid":53655440,"modified":"2026-01-25T12:23:31Z","type":"item","id":"Q5214673","labels":{"en":{"language":"en","value":"Logic, counterexamples, and translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162876"}},"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":"Q5214673$B1FD4D91-6A54-4A24-A0C0-EBF497036224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ec7d038af2dbd0aa92a30a5fa91dcec5328c762","datavalue":{"value":{"text":"Logic, Counterexamples, and Translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5214673$EAE9125B-BB8E-4913-8C4F-D5CEA261D5EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42dbe03e27d22da2c5b3a7b104e59a81aebe3791","datavalue":{"value":"1429.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$03B20931-EB3B-4522-BF6E-839DA99EA52D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eda9e31ce851a558c0126c1854f740f27f499ff","datavalue":{"value":"10.1007/978-3-319-96274-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$79CE009A-F445-4428-A20B-A5EA035C94C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da320e907c5d7012bc1041a7f1bbeafbc077d02","datavalue":{"value":{"entity-type":"item","numeric-id":558730,"id":"Q558730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$2762C179-2F3E-41C4-A214-B7246DDDBBA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$C22CF7C9-8048-4160-A582-9295CA98BF5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214673$903382C3-7F31-4E57-ADBD-560583FAD046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$CA8149F1-C3FB-40AD-B7C6-D1A759A14DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$4E7BA714-50B0-4BEE-A4C6-82FB3F58BD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$9E05F820-703B-4256-9E88-135349F78178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$CFF8B2E7-F62B-48C3-ADB7-C4FD731AE7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"445c2d240030108559f00abc16bceccbca1ca4a8","datavalue":{"value":"7162876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$8AB30F15-3FF1-4198-B499-AB4399D3E254","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":"Q5214673$B85ACD5C-AC2B-4BD3-BD42-C7D5000C07F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d8c8657adb01a465c936b47e457b219b84367e1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96274-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214673$535778A8-BC97-4ECD-8C8F-E092E7D7DA3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16859e8e8be72132392703a9d41ca561ea6f57f0","datavalue":{"value":"W2904809036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214673$77116D3B-9D3A-477C-A68C-C412A039B3F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f4cba03f5097be6cd6f30ef8c6943dc663c490","datavalue":{"value":{"entity-type":"item","numeric-id":4593262,"id":"Q4593262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$FA9E5C11-7815-40D1-A968-383C543DF860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a141da4997a7a3a3d42f837e01944f32313787c0","datavalue":{"value":{"entity-type":"item","numeric-id":735205,"id":"Q735205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$B39AF857-04B4-4A3D-A801-0C431537D557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$2375A01E-8C87-4042-82F9-1FE9906B8508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7146dacd2c5deaa36619f42b7c293bfa55da08d1","datavalue":{"value":{"entity-type":"item","numeric-id":4947477,"id":"Q4947477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$5D9BCB76-F675-4456-AA31-F6A68054C3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee14645f24c762c37f32f273b49e1ecea211751","datavalue":{"value":{"entity-type":"item","numeric-id":4732438,"id":"Q4732438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$E11A53D2-2905-40AE-A4A3-D4A7629012D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$A191E133-6599-4103-BD67-D9AE81F456EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a91e83495b992b41a97dc95b6e3cacf5a171a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4068662,"id":"Q4068662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$D4D99BA8-763B-4B4B-92DE-4DC37D169B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2840828566eba462772199fe62fff187edab5fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4257375,"id":"Q4257375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$DC1BAD78-3C67-4487-B2DD-C1A178A17D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9af56d66960c6e2f4e5c16bf95349a2da7ec150","datavalue":{"value":{"entity-type":"item","numeric-id":5817389,"id":"Q5817389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$0E2E526C-66E2-4A1F-A0E2-B49E140B32F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$B57280D8-B96D-4753-B404-473BA17220EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875e4e402b6e87e74e152278db15e8abdbd55b1c","datavalue":{"value":{"entity-type":"item","numeric-id":558734,"id":"Q558734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214673$893671ED-EF57-48B3-A194-666017C39A53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948d167cd3308e78b2ec356768d9ae0c8b118f33","datavalue":{"value":{"entity-type":"item","numeric-id":1679808,"id":"Q1679808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c64300857ebf2a35a11fd2df72266725943a7e8","datavalue":{"value":{"amount":"+0.7195615172386169","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":"Q5214673$D8C1899D-6438-4669-BC9E-837A735DD559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e38e4dd1a9f3750eafb6fa475bea2824f49fe1","datavalue":{"value":{"entity-type":"item","numeric-id":3179081,"id":"Q3179081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5382260756ddc389b594f692325900135a63ac93","datavalue":{"value":{"amount":"+0.7172219157218933","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":"Q5214673$6CDA1851-D5A0-446F-8425-822B8E78C441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8424265b52cec3a1dddb931e6e6205b489b2ba","datavalue":{"value":{"entity-type":"item","numeric-id":2288259,"id":"Q2288259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9450c2ff6b5e45a643c7977d0a84f7aec25819","datavalue":{"value":{"amount":"+0.7159820199012756","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":"Q5214673$835F486E-4805-4271-8E7C-96E3CD5EB740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753d098d7d1db2a2779b7b4739bba47ba3810ca0","datavalue":{"value":{"entity-type":"item","numeric-id":542128,"id":"Q542128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3fa136ad96b0a4468a6374fdfa1b5ef8f2fa1b","datavalue":{"value":{"amount":"+0.713884174823761","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":"Q5214673$DD123BC0-38C0-4E73-A664-C3EB2BC9CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f7ddacb307b1ae051ccd7eae4041506483edc1","datavalue":{"value":{"entity-type":"item","numeric-id":1617254,"id":"Q1617254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912ba63d644d0aac28b89cc7d7a611d54af1a5b8","datavalue":{"value":{"amount":"+0.7117534875869751","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":"Q5214673$585E2518-874D-4950-98DA-754938BE625C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5214673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5214673"}}}}}