{"entities":{"Q2789048":{"pageid":2799786,"ns":120,"title":"Item:Q2789048","lastrevid":44690646,"modified":"2025-11-25T02:40:09Z","type":"item","id":"Q2789048","labels":{"en":{"language":"en","value":"Necessary and Sufficient Preconditions via Eager Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546223"}},"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":"Q2789048$1A7C1B7D-6AD5-420B-B0E6-A94657ACC7AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83085264bf833896bebdfcf875cfd4f9b3349df3","datavalue":{"value":{"text":"Necessary and Sufficient Preconditions via Eager Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789048$50578015-F9A5-44F8-B623-0E96022A989B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3956745dcf8d7fa5ad9a891cc425bb633b7a745","datavalue":{"value":"1453.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789048$5495FF1D-ECE1-411A-AF76-CA2ABC94A2A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bda101becb181b572d218008180edfe706fe5d6","datavalue":{"value":"10.1007/978-3-319-12736-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789048$809D87B3-1CD4-497C-834D-5D0ECBAAE1CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc663e4e1b1b01bdb807bcb364eb0ac57acb9da6","datavalue":{"value":{"entity-type":"item","numeric-id":2789047,"id":"Q2789047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789048$9B206B93-DBAA-41C1-B344-579FE567617B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d1f5ffa296b4fe4db7c249b03fdf396db98ef1","datavalue":{"value":{"entity-type":"item","numeric-id":435975,"id":"Q435975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789048$1E711CE5-F219-4C72-8048-BB81FF6A9281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789048$2E04AF1A-B1D5-4C98-BA2A-93CCB05C43DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789048$4C6CB514-1C4A-4DDE-A072-3FED0F12D772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2276cba4577f071f62ee6332c5043122f4d35442","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/19313689/Seghir_Schrammel_2014_Necessary_and_Sufficient_Preconditions_via_Eager_Abstraction.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789048$B70EA17E-40B2-4ED4-8BF7-1712056E0306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789048$366D314B-D6C0-4F4B-82B9-C3464A4AB469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14fb1b81dafd62ad9c5b9a7748e0e50a95f15b2a","datavalue":{"value":"6546223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789048$AA12EC15-A793-4966-8771-E30AF953B5C0","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":"Q2789048$93AE5935-2840-4558-81D5-25897D74BFC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f194f3e8b3c327513d3d07275f39a9ca844db277","datavalue":{"value":"W1931348537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789048$9A1723D5-4E53-4519-BA05-050AF7402BAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfd8284f037de740dfb44883140f75845db7936","datavalue":{"value":{"amount":"+0.84959507","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":"Q2789048$5F8A31AA-D7D0-41CF-893B-A368C9529AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfd8284f037de740dfb44883140f75845db7936","datavalue":{"value":{"amount":"+0.84959507","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":"Q2789048$9F85AF3C-A185-4B0E-9BE4-6DC604B848CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b2090611e951d5ebaa6326f68b1abfc894720e","datavalue":{"value":{"entity-type":"item","numeric-id":543199,"id":"Q543199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95494dfca76a348262b2357330651d3aded9d167","datavalue":{"value":{"amount":"+0.8451898","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":"Q2789048$82BED62C-6BD4-4724-8E84-D734D0109A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c572367093997ece4b413563438c29d28d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4571129,"id":"Q4571129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1272f4fa0dc994dbbd721905f2b9b88d3a14f68","datavalue":{"value":{"amount":"+0.84191525","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":"Q2789048$B66A5C4C-8ACB-48FD-91BA-F4169A8FC5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079e39f1ab5116c8c273e8c5dc8714da59d176fb","datavalue":{"value":{"amount":"+0.8415295","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":"Q2789048$293D09EA-3B70-4302-9CDE-F29FCE1C95CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7de3722ed636c8f8489cec00c41ba0042963140","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2c2280707590af6adb77106977c5440446c2f1","datavalue":{"value":{"amount":"+0.83997196","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":"Q2789048$EC090A56-C6B5-473E-B6DD-E2D9D4822262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bddb2286f38aa8271fdeca845ce190269a3099","datavalue":{"value":{"entity-type":"item","numeric-id":801666,"id":"Q801666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6404e8e5e3011fd2d2c5bfa4709337285bf216ef","datavalue":{"value":{"amount":"+0.83848405","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":"Q2789048$DBEDE309-06E5-4601-A0CB-5F4A02CA4D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e729418c484f788f970df01f3f07c7735aff7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3692832,"id":"Q3692832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842ca3041afd9008dd68747e5c7d8a12a00674b8","datavalue":{"value":{"amount":"+0.83753324","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":"Q2789048$4E3F227F-2B70-40A5-943B-999CCF56087E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2789048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2789048"}}}}}