{"entities":{"Q3646262":{"pageid":5676168,"ns":120,"title":"Item:Q3646262","lastrevid":81012950,"modified":"2026-05-06T17:31:00Z","type":"item","id":"Q3646262","labels":{"en":{"language":"en","value":"Abstract Counterexamples for Non-disjunctive Abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5636092"}},"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":"Q3646262$ACB705C3-90B9-43A8-A000-336DF1F58EFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c1b4ca04744c92e5714f32f507c9fcec85c8807","datavalue":{"value":{"text":"Abstract Counterexamples for Non-disjunctive Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3646262$1D6D041E-3A37-484E-B063-46F6320189D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef58ea693ee85a43ce73175bff9dc8f5bd4f2e9f","datavalue":{"value":"1260.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646262$F36FFA6C-AB24-4081-8B48-2483F8F47F2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81c2e6a82fc75da291b16b6cbd54a561608136f0","datavalue":{"value":"10.1007/978-3-642-04420-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646262$207762B9-C0E9-4390-9E36-5460D772DC14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$3A278688-9816-4D15-96FB-3A2D4CE9A6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$014CFDF6-B3F9-49EE-AA65-E16252310CA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$86BBD3AA-4898-4E11-B970-16CFDC88BEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d14626f47760914b9a71c7f4ee295065574aa","datavalue":{"value":{"time":"+2009-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646262$4507D422-EAD4-49EB-8C51-D7BAA7A1071B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646262$5EBCC587-FF50-4B16-96C3-FB4EBBA12754","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e2696f31b96e72eeb17a78e73f3f4f713689808","datavalue":{"value":"5636092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646262$D7B93248-2FF3-4032-A050-91291270820B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$9CBF6FCB-DD03-472F-8C34-80DA3DE9233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$34BF32EC-BE75-45B8-8A38-D3F07F85400D","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":"Q3646262$05960AD2-8036-486F-9BD1-DC51F657010A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbf045966a12620c4b342c5ff6404f8a3134a9bc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04420-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646262$E072DF99-5839-4EF0-891E-A2F980E5EDDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7803f5f535012cde07eca7af1eea382fde745dc8","datavalue":{"value":"W1804882692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646262$9AAA7921-FD36-4837-BDB4-D81D56928EF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$584CE936-7927-4DD3-8B08-DF3416C421F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$398CBC66-988C-4F80-979E-891DC6B7F869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$AC2C8F9A-7003-491C-B6C1-846FBD77F3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb0e8d299c09f38181b1f1ce7209848e193b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$96F6333D-DB89-45DB-9E37-554197982C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$38C4D12E-38F9-4F12-A367-06DB28AEE761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$BC57DC03-CB1E-4071-9E0F-5DFD594601FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$D9009C9E-6559-4CE4-92FE-C4576BA5218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$CF497D43-6CF2-40BF-A264-D09BB414F597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e153e6c7e5cb98b6065c11575b4f76c7ee7df78","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$82849979-1520-4C1B-8302-7B50E3FBC670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732ed5e18e093831c7d4ded9c96be80f3777457c","datavalue":{"value":{"entity-type":"item","numeric-id":5466566,"id":"Q5466566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$EC2A618B-7F17-4D7D-A6E4-6DC2BC17513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$6FA36EB8-B8EA-420D-A983-22CE940C8C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$9D6D5F88-BF74-4F1F-9F93-B92E640E441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$F4CF6583-02F0-4B09-B782-9E9CE90D14B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$B4033B6B-17D3-4575-8A96-41FC899DAD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646262$DF00CEB1-9C9A-432F-9DA3-75F9D4495AAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e0fff1b4bc3f8bda7efaf271f7270e4d54d584","datavalue":{"value":{"entity-type":"item","numeric-id":2291815,"id":"Q2291815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da49429ea39f0aae88073dac502140525982ede6","datavalue":{"value":{"amount":"+0.8268808126449585","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":"Q3646262$1E0794F5-F221-4D41-B9AC-84B18B0B8CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5717b046f819699c40a5b3feaa392a6dfe5a97da","datavalue":{"value":{"entity-type":"item","numeric-id":3593078,"id":"Q3593078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddeadcd6873f2d445720ef24bb914a85c9524e6a","datavalue":{"value":{"amount":"+0.8248090147972107","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":"Q3646262$CC3B19D6-BF9E-471E-A436-A0CDF06620B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ed85000d694d87daf631567dfd347f73b7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b79e17772d0d2d8696b731ddbe93ff53d09b6b","datavalue":{"value":{"amount":"+0.8136189579963684","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":"Q3646262$72B6898A-DAE1-46C0-B4B3-9CD94CA0E4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7cf6fbe5fb93e122dd28fe2fef157b636c53a7","datavalue":{"value":{"amount":"+0.812298059463501","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":"Q3646262$84320EF2-516E-47D0-A204-C44CBC62A947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd906a9ab8709e04e5f8bf25406df6fd2ecf413","datavalue":{"value":{"entity-type":"item","numeric-id":2946618,"id":"Q2946618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c992ca8ac2643d78b9536e3635edf4cca4496358","datavalue":{"value":{"amount":"+0.7977951765060425","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":"Q3646262$36A057DA-1593-4A22-B1EF-6EE4A8815F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract Counterexamples for Non-disjunctive Abstractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_Counterexamples_for_Non-disjunctive_Abstractions"}}}}}