{"entities":{"Q453516":{"pageid":455283,"ns":120,"title":"Item:Q453516","lastrevid":51563471,"modified":"2026-01-18T19:29:03Z","type":"item","id":"Q453516","labels":{"en":{"language":"en","value":"Explaining counterexamples using causality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087625"}},"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":"Q453516$D332C4DC-4A30-47FB-AA1A-0CFCA65F48DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d524150e31cbac8b286b334e36b9f075e201d052","datavalue":{"value":{"text":"Explaining counterexamples using causality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453516$F68DD654-F54D-4654-BC7A-5808AE1011ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"782b5b3e6d3ec22f32331f9d50da78571f97366e","datavalue":{"value":"1247.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453516$07ABA3EA-620E-4942-9FC4-2600A2CE2592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2acbff7b1d6009a8470ae19fa83f8b1a847cd289","datavalue":{"value":{"entity-type":"item","numeric-id":202471,"id":"Q202471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$A806E411-8CC9-4E92-A714-EEB6C98681B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$94ADA6AC-2177-421F-AAAD-C02A9A37F285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7855d416a438be572c6a7aefce1c905376fea9","datavalue":{"value":{"entity-type":"item","numeric-id":233000,"id":"Q233000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$9B9427A4-6CB2-4436-9A3B-26D75FC4A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f1b38af2679cd0d2832236bca7fd65cb32c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":453514,"id":"Q453514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$0898BCA8-1FE2-4680-B13F-2C3386AD49DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$46D52D94-9C2F-4567-984F-C9AE076A70F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$B24146FF-4686-483C-B9A4-801DE57ACB95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453516$4DD30071-D550-4431-83ED-A023D8BB8D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453516$EF27D281-B3F0-4034-B213-A3D0683B4590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bcb706705508de50f744d3c15d47838d1fbda58","datavalue":{"value":"6087625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453516$7C364359-0D35-4A47-B34A-DB58396D592D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q453516$02153CF3-7968-48C2-AC35-7B17E09C23F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q453516$92583077-81A3-485B-9E7A-FC8D23539D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca84360742be31af380c3d5a43932792ffab310b","datavalue":{"value":"explanation of counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q453516$DF85360B-9252-4194-BD9C-92EC3C6AD674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q453516$0E8E7043-8B26-4159-A62F-8F71E629A4C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$952B6643-3208-4A13-9811-293889D6E440","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":"Q453516$675EE8E7-8F15-4332-B841-A7FBA23AE4BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74b1b058f21e988ab64f2fb3d6469b5699c0eddd","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0132-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q453516$24619052-B10D-4F8A-BDA4-11F0E082007F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbbfcda270b61ad690063694a71dd6c89ef780e8","datavalue":{"value":"W2065086898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453516$77C25F2E-26FE-429B-BB07-7CE130D92498","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab43f5dcb118aad2d711da4cf3d9a6665d6f7eef","datavalue":{"value":"Q124843971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453516$6D3876F7-ED58-4246-9911-AD32EBBF7421","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b22663f733b15798c53e8078e9f8c7589fa97b4","datavalue":{"value":{"entity-type":"item","numeric-id":1870213,"id":"Q1870213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$CB4426BE-F837-4F6E-8D44-0C4A8EDFA963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4b3700d00193a69b95f60680a360ab2d41d2cf","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$61DDEF95-EC65-408B-9C0F-85983A1282DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f472a028c74ebc751d2399d0d447ac1f4007fd","datavalue":{"value":{"entity-type":"item","numeric-id":5458330,"id":"Q5458330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$105A27D7-29A3-424C-B128-CE26080D1A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e49f77a9ab7f028ad88ac535c5df84b925ee6c8","datavalue":{"value":{"entity-type":"item","numeric-id":2946617,"id":"Q2946617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$7D0F1454-08EB-4094-B716-8F143041467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea19cfe2740d7d814b2feaa672ffde0b5fa3d38","datavalue":{"value":{"entity-type":"item","numeric-id":4787239,"id":"Q4787239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$F0F1D079-2B08-4300-846F-7843060BB8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d22e5be1cd0086b4ca5f0b22a7cc8d2ad226c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$BCC6C785-1A24-4A22-8FD3-8B906CE00982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$EFFFECB5-4F00-48BC-A7D1-21FBC5FFB737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff218131731d19b2a93c576bd794bead3b85f84","datavalue":{"value":{"entity-type":"item","numeric-id":1852862,"id":"Q1852862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$03E278BE-711C-4C04-B1E3-92E88496D4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c4d55a7fd9d22f361f8cd538f6b1ac3c4f8eb","datavalue":{"value":{"entity-type":"item","numeric-id":5308392,"id":"Q5308392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$A6106A08-8C4F-4B48-BA65-AB2C7AADCB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584e72431de93b5db879ae17362b6d8836875996","datavalue":{"value":{"entity-type":"item","numeric-id":2849596,"id":"Q2849596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$85B60F88-97B2-406C-B740-50F422100A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dadb59f1283fec755060b1490a99a038acc0eac","datavalue":{"value":{"entity-type":"item","numeric-id":5290434,"id":"Q5290434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$F15BB76B-9FF1-4F25-847D-2E3BE1526593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6fa3ee91fe7f0c9fceafb5019b372002d49c99","datavalue":{"value":{"entity-type":"item","numeric-id":4472259,"id":"Q4472259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$A630C54A-EC67-466A-A128-219AE9D3F87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$41F8541C-E790-44BD-A91D-269BBE5A14D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$F42AED77-FDFA-456D-9194-BACD6BB0B72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$6A14010E-03D0-41EB-9E47-93EEF22C78F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4195608d550bad4835ecef06e7efab3f8dbf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612477,"id":"Q3612477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$D6628984-7BC7-4170-B39D-408C932568D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ecf9e0e457fae9cd7c3df5a24778489f86e6c25","datavalue":{"value":{"entity-type":"item","numeric-id":3528927,"id":"Q3528927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$3AA92904-252D-4C98-88C5-11B0E8885A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8526e6b5767f45613bc7a09fccc8db32915d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3522901,"id":"Q3522901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$E6078B3C-1047-4FF9-A1B9-428223901D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453516$D07CD550-018E-4601-862B-FB47AF726E64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8eebc42aa52b3cc28b7cc37324d3e78ab38c757","datavalue":{"value":"10.1007/S10703-011-0132-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453516$EB432CEC-01F3-43C6-9057-9ED27A664CE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790722513bee059f7cb8d8882409e39f45990b56","datavalue":{"value":{"entity-type":"item","numeric-id":3636856,"id":"Q3636856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79bf9ef7660c1a42ec7573ed4d0e9d99f304538","datavalue":{"value":{"amount":"+0.9992524981498718","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":"Q453516$7EAE8380-256D-49D0-9A13-AC06327465FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256942cf2c028a1e575b6a31cef1482304605e52","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8590c61582f579508785b743f867bb11d6dbe65b","datavalue":{"value":{"amount":"+0.8334608674049377","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":"Q453516$EC0D1CF9-EB63-40A2-8F38-D9D2FE405D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e881148389ff07b69f5244cb2e8befa5050543f","datavalue":{"value":{"entity-type":"item","numeric-id":5312922,"id":"Q5312922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3599cbdc86e6e2efecf7fe221b766b656fb33a","datavalue":{"value":{"amount":"+0.8145673871040344","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":"Q453516$48D83E1D-DDC2-436D-BBCE-DB911A6927E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bd11415de1499efdcd87877ca92b2d8360bbf2","datavalue":{"value":{"entity-type":"item","numeric-id":3522901,"id":"Q3522901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3a92445bdadac6cd5aad6eaa768b22366470a1","datavalue":{"value":{"amount":"+0.8073174953460693","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":"Q453516$E8BDE572-9F1D-45F6-8A35-614B8C62494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6e684a073994f59d8dd7abc27806ae288f2280","datavalue":{"value":{"entity-type":"item","numeric-id":4417920,"id":"Q4417920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b77e3f52e3bcc2d55951c8e4c5b1c1b936e35e","datavalue":{"value":{"amount":"+0.8018762469291687","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":"Q453516$88E4A843-1E0C-4433-B509-2EAE741678CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453516"}}}}}