{"entities":{"Q5458391":{"pageid":7487950,"ns":120,"title":"Item:Q5458391","lastrevid":50333960,"modified":"2026-01-13T20:27:20Z","type":"item","id":"Q5458391","labels":{"en":{"language":"en","value":"Iterative Specialisation of Horn Clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262439"}},"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":"Q5458391$A96D9736-240D-49C1-8D89-36ED8BA78EF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a866e9ca7ddde14616fe3519c210f9899b8e3d3e","datavalue":{"value":{"text":"Iterative Specialisation of Horn Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458391$2B520925-3D5D-47AB-BD5E-10201AE23818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc2ca0fe61ee23b45e5e90705714ce6545f049ba","datavalue":{"value":"1133.03335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458391$99CADEB7-038D-4B90-A26F-73BB3598695E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e9be24a2093733001b6934a70ac1fd9fa8f1c6e","datavalue":{"value":"10.1007/978-3-540-78739-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458391$59DC1C48-46EF-40DC-85E9-C5D5A943BD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e628eab78755c7e1a5d6fd531c2bb8bd53f73a","datavalue":{"value":{"entity-type":"item","numeric-id":2848484,"id":"Q2848484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458391$4D5ADDE9-7DED-4E9C-9D59-E311EE052DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458391$FB9EDA77-94CC-4F41-B264-A28197A7A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458391$88AED682-ED25-4CCF-BEB1-312D69DBB58E","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":"Q5458391$208DED90-F24D-4514-812C-C5764E4778C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458391$854FD2C5-DF4E-4546-954F-1291CF6735A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458391$3D4357C4-2858-4AD3-A82D-F67646E077F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458391$263F79DA-A214-4BB5-A92D-AC4AE543390E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"065981aca5cbeeb4826913996cdd816115137c0f","datavalue":{"value":"5262439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458391$21F7B82B-E7FD-4335-99A6-5D0108FEB2E3","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":"Q5458391$B2DF1D57-97AC-4193-B509-E66D6CB4DAD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6d686070a95c6fe5e185abc824d0b87f1c5bb02","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78739-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458391$00827573-A673-469A-B650-C51932F0DC24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfec7a26315bf55785c444d1eb2d3d5aa3391354","datavalue":{"value":"W1530748823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458391$3D6DFFCF-3A81-46A4-8A80-603DFB9ECFC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4a36a31274c5966ce09e345f4fcb7cb21489c","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7b903a05ae7b9a1cb3d955e40c57ca2b3f5f58","datavalue":{"value":{"amount":"+0.7339723706245422","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":"Q5458391$77DC841B-4986-4DF2-B2A7-7BFF06F08490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ea21ee5a6610f98ff5a6cd904a91ddf8d18028","datavalue":{"value":{"amount":"+0.731313943862915","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":"Q5458391$149120B4-F5F3-4AF0-80F9-28F05FFB338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb058746dfb54e88ecdd43ae5cec88c4f411544","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38afc11df51ba163288623c40654c0a8dc0a80f","datavalue":{"value":{"amount":"+0.7273262143135071","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":"Q5458391$9AC86D70-4B06-4C5C-99E0-999C4D04A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9480238db18ae8a6b8a4d67cb64eccbd150478","datavalue":{"value":{"entity-type":"item","numeric-id":4928430,"id":"Q4928430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202d94c656e7a14a6587f63821910cf9c5fb661f","datavalue":{"value":{"amount":"+0.7224879264831543","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":"Q5458391$1355129B-3C77-4B3F-B700-8D369A138A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02ba595b7920110ca6b2a118a4a8f302f2c3fd9","datavalue":{"value":{"entity-type":"item","numeric-id":3593070,"id":"Q3593070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c29a653f291df8625b185d3dab982e9836e8a3","datavalue":{"value":{"amount":"+0.715131402015686","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":"Q5458391$CBB23C49-8226-4E0E-B3AB-75B491455969","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458391"}}}}}