{"entities":{"Q2445332":{"pageid":2456075,"ns":120,"title":"Item:Q2445332","lastrevid":51976484,"modified":"2026-01-20T16:25:06Z","type":"item","id":"Q2445332","labels":{"en":{"language":"en","value":"When does abstraction help?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6284359"}},"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":"Q2445332$B52B48A7-0F4F-4C25-B9A4-32E9EE862304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dda6438f11f40303638fe51db184074aa2ba878","datavalue":{"value":{"text":"When does abstraction help?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445332$AF3B670A-53CC-4EDB-948F-C7F0645337C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61439c63d6b7fd054f414698c8d5330af9870876","datavalue":{"value":"1284.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$5CD89490-EA25-4062-BC32-F764728AD0E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b453db202bdfefbdbfdad4cce0c2d46221465c32","datavalue":{"value":{"entity-type":"item","numeric-id":306272,"id":"Q306272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445332$3A030457-C6AE-49A7-A9DE-357C2BA0D674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445332$5AC5EF80-9CC6-481D-89A6-3C60811F9950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445332$A73FEACC-9BBD-40C1-855B-B6DC7C6B3768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2bd9793596aefadb295689a4db5fbda4fe4920","datavalue":{"value":{"time":"+2014-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2445332$8C1369EF-754B-4648-A7EA-54C4FED28B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$A40FF19D-AEC8-4F16-8E3F-E40E42A6AA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$03E15AE9-D632-4A8B-B887-96D673E1B74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$EA849BB2-7259-4B7B-8F93-88CBF69D1062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19556a9da002a7efcedd8b23e9103387c0d646cb","datavalue":{"value":"6284359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$E402CF28-AC66-4549-AD9B-1E7CD6B89B95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445332$10F820CC-6500-4236-B4A6-572AC2C2D156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445332$0630CC43-D292-48B0-B874-6A716F14CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cdf9e9dce5340311941627ef49e0cce7efc223","datavalue":{"value":"deterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445332$A3E4E4C9-0D19-4A74-A4BC-1B4C4E4AE67C","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":"Q2445332$C4732E87-44B1-4E33-BBA8-7BFF533EC230","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf6526d25ac34991afb563de078eaa65c4cdabe","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2013.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445332$BD69983E-3BB7-4791-BB29-EAB96C65B8C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2619d7ec9204800a4b8c2930be0ef102291fcd7c","datavalue":{"value":"W2015555361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$77E62EDE-8525-4C3C-B293-B5DF3E58F867","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445332$EB6B70B7-2D28-43AF-B11D-E762C9C19A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a4476cd4b5739889b7cb935a5cd6ad7d503b113","datavalue":{"value":"10.1016/J.IPL.2013.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445332$AAB0B3FF-4A19-49E6-91CC-78C91DFCAA75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6301ec9022d0b342ca6c08ed8594231cd5a3e434","datavalue":{"value":{"amount":"+0.7652029991149902","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":"Q2445332$AD4B4F04-62D6-44CA-9095-08959E41EC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80fddc06f171b010e05253495bdfd9140d398424","datavalue":{"value":{"entity-type":"item","numeric-id":4782022,"id":"Q4782022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a149bd6e1d1138cac58357cac9a5e362787ca959","datavalue":{"value":{"amount":"+0.7556607127189636","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":"Q2445332$77FB0159-1CC4-456C-BAE8-C058C54263A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187d9a095598c8310a3d2ec5fae82263ab311692","datavalue":{"value":{"entity-type":"item","numeric-id":622104,"id":"Q622104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff538034af2258d15e623d04ff000208216270f3","datavalue":{"value":{"amount":"+0.7328288555145264","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":"Q2445332$8C1686D7-ADA6-4691-8189-FD3416B1E32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754bdb2a4800fcaa51e3dac60706c10066db0672","datavalue":{"value":{"amount":"+0.730932891368866","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":"Q2445332$CF087D63-85D3-4584-8E60-64612AB02E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6291c14460cc94b905ddb94205c516634de98d43","datavalue":{"value":{"entity-type":"item","numeric-id":5943266,"id":"Q5943266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0944c999ee0964a736d38631a7afe16456daec","datavalue":{"value":{"amount":"+0.7261829376220703","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":"Q2445332$9BB6EEAB-0F16-4074-A364-4DA99A9FB4BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2445332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2445332"}}}}}