{"entities":{"Q3617434":{"pageid":5647340,"ns":120,"title":"Item:Q3617434","lastrevid":49697083,"modified":"2026-01-09T04:20:14Z","type":"item","id":"Q3617434","labels":{"en":{"language":"en","value":"Fast Offline Partial Evaluation of Large Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531083"}},"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":"Q3617434$75EC9B63-C03B-4262-B0A3-874D4D5425C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf0e4588e300b370a1c8707be64a887002e845a","datavalue":{"value":{"text":"Fast Offline Partial Evaluation of Large Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617434$387BDB31-6A5D-4A83-AD5C-A86326B32018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f25d7725dd1a607585fdb4e54916cf9176acb558","datavalue":{"value":"1185.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617434$3832DD56-2E85-42A8-825D-AC0612E092E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32dc1bc794a5567d99f01a20416bfa6bd2bd19f6","datavalue":{"value":"10.1007/978-3-642-00515-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617434$A797008D-6C37-4D7B-B6B5-26C02F561976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$DB804E61-AA50-411C-BD73-D0C7C9E18BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$19533503-FB3A-47C7-A14E-CD1534038112","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$C473CE2B-3B83-4A32-A093-5352BB32B012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617434$36890502-F6D3-4F04-B690-1638A2E73F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617434$BD9C3376-04B3-447C-94B9-9180AFE6413F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7366efd0b7033a413255e88cbf9f0b9263aa88a1","datavalue":{"value":"5531083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617434$1D133AC7-B493-4A29-A0E4-05BA5272ED5A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"970e99c9bc3dc9625d7c5e330adbb28ce852057d","datavalue":{"value":{"entity-type":"item","numeric-id":21863,"id":"Q21863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$583EF776-02F6-4286-8ED5-600EC6EEC266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$F41E8B78-B0C5-4A01-940F-18AB360186EB","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":"Q3617434$D65D88F5-9A6E-4B6B-AD07-5F62A9070921","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee598c23a577e350914f4b732d75dd1286795d9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00515-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617434$645B5A0E-78C6-4AD6-8362-A0D5148CC086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fef4f49efb03f9f229e3594da7ca72a7ace5ff79","datavalue":{"value":"W1721643047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617434$D608D488-0172-4F4C-829D-C30925B2C2C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d2d9f513d782d94674e4b827f48a9e69d1ab79","datavalue":{"value":{"entity-type":"item","numeric-id":5302883,"id":"Q5302883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$775E3DD9-D761-4B19-AEFB-3E153B812C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$884E5423-08A3-4324-B4E0-C7D0CB4B8EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$B51DC7C7-2FDA-43B1-BCAB-754201A64FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2aad06af001a68fcd50cb18e2f84fa17724a9","datavalue":{"value":{"entity-type":"item","numeric-id":5458793,"id":"Q5458793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$03C674A7-B7A9-4C28-A780-74A8EF1D4EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$B9697526-B1BA-427D-817E-91EC2FF9EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce3c2e75c2ce94c37447123ec1c37ac00aeec39","datavalue":{"value":{"entity-type":"item","numeric-id":4452606,"id":"Q4452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$117C5234-035A-433F-B858-CAE5C309D202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c236c5b3fdaf97e96eb1bd17b91e44ce25deba9f","datavalue":{"value":{"entity-type":"item","numeric-id":5712538,"id":"Q5712538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$68ABD04C-ABF5-45EC-A486-12529D142DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c08bbeb9a1b561787a695e6b4be76091e9c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":4819007,"id":"Q4819007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$42A85EFE-7101-41D3-AB68-A87689EFC664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304f1890bdca38d64cd56b953b9bbe59fde7e37c","datavalue":{"value":{"entity-type":"item","numeric-id":3591078,"id":"Q3591078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$B603283F-79A4-409F-9083-60D839ADA826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617434$735F2DE8-4769-42A7-8177-598B27722CFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fce69603a4eb3372a159e6640ce685584cb231","datavalue":{"value":{"entity-type":"item","numeric-id":2437798,"id":"Q2437798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cff5104bb08e17fbfd5d79e88b452a5fa3cd0ee","datavalue":{"value":{"amount":"+0.9923719","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":"Q3617434$575C80BB-D8E0-4A94-8194-B057508A9772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70b71c4e1c0627bc95803147daf28a948adc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3591078,"id":"Q3591078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2542fd82d1d152c858fce10404ac037c3383922e","datavalue":{"value":{"amount":"+0.90225947","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":"Q3617434$735BEBB6-BEDF-410E-A217-A7988E30DFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0679fa866b7efe039a7bab1fe30de9625e3cefe","datavalue":{"value":{"entity-type":"item","numeric-id":4669648,"id":"Q4669648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69c68864b08e0e25f86bbf7eadfeeee94f69ef1","datavalue":{"value":{"amount":"+0.89041245","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":"Q3617434$ABDD6205-B23F-48F6-91AF-C6FF6F56B5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b20c95e2dd4dcb2577fea843f44fa0011716a6","datavalue":{"value":{"entity-type":"item","numeric-id":3382822,"id":"Q3382822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f52b78ea39d957fdf5186227d7a0020683d6eb","datavalue":{"value":{"amount":"+0.8702328","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":"Q3617434$D51317AD-82E3-4312-A3E7-77D60AEDB89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9217e7475f48800aa2a6881a8ed5efe5ae5133bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003494,"id":"Q3003494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab666076ce2e3f772753742af4014fc03aa9845","datavalue":{"value":{"amount":"+0.8689646","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":"Q3617434$F91A0EA2-2501-4FC1-B9DB-5D6A998865EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22520cbc01719455e878ddf636ae77d5cc653682","datavalue":{"value":{"entity-type":"item","numeric-id":4398692,"id":"Q4398692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc5b8e191d2ffe63419f17d6dfd08629fff5be2","datavalue":{"value":{"amount":"+0.86608636","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":"Q3617434$E0BF9889-D469-441D-B55E-533B860E378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3ae63002a3ad1ebaa330758a94e3f0ae0b27c7","datavalue":{"value":{"entity-type":"item","numeric-id":3558295,"id":"Q3558295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54eeb7cc27e5fb481e656c2212bde7c9e4c8429","datavalue":{"value":{"amount":"+0.8567762","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":"Q3617434$C76DE99B-63E0-4054-8EA0-5667BC7CB739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737af5fba131f53c1e13c5c1fa7b1f2a8e01758e","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c844fcb4f3f862fdc03433a68431ef4437082808","datavalue":{"value":{"amount":"+0.85473496","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":"Q3617434$6C646006-E2B1-41ED-AA52-3F22A284FEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816a20fe5e0736455c2a046b00419290e35e41ea","datavalue":{"value":{"entity-type":"item","numeric-id":4446264,"id":"Q4446264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28babfd244836c336e0475f3832d6a30e7b9f54d","datavalue":{"value":{"amount":"+0.85179013","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":"Q3617434$FF2F3C91-3352-4A33-AD94-4B4DA0BB83D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617434"}}}}}