{"entities":{"Q5458800":{"pageid":7488359,"ns":120,"title":"Item:Q5458800","lastrevid":40977045,"modified":"2025-04-16T12:36:07Z","type":"item","id":"Q5458800","labels":{"en":{"language":"en","value":"Efficient Local Unfolding with Ancestor Stacks for Full Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267186"}},"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":"Q5458800$5AEEF691-D8FF-4A06-B8FE-6154ED7186EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb07b135580a0aa03c6289dbf8cd4a5a78418a7c","datavalue":{"value":{"text":"Efficient Local Unfolding with Ancestor Stacks for Full Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458800$C26A91E4-BDA5-47FE-9772-1C02352C7FCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31659397a94ee06ab03ca4afdeea908d82ceea0b","datavalue":{"value":"1134.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458800$718B6880-4F77-485A-81FD-4941D1497F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"203481d8c736eb7584507571d0707beb764329eb","datavalue":{"value":"10.1007/11506676_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458800$1305D8A9-904C-4EE8-B2C0-A39DDEE237E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458800$DCB342EA-C82D-4625-BA34-F1195294B44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458800$6B52DB9C-3540-4D1D-A6C3-7058FD93451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458800$BF43F9FF-8336-41F5-995E-9E7091CFB2B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458800$791CC25D-B37C-468E-881A-1F9A4D93CD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-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":"Q5458800$29E68C62-88FD-4D29-8CD1-F212C7AB49D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458800$20448349-73CA-43C0-9D46-3E9C42FE54AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458800$F507FA9D-F72E-421D-9DEC-EADE054ED88C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9609f09056b599b2ccdbf772af471f9a8f10702","datavalue":{"value":"5267186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458800$DABE6D49-06CD-4512-8FFE-8C87BDF5528C","rank":"normal"}],"P1463":[{"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":"Q5458800$08C94E24-71DE-4882-A2BD-87E91B900D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458800$D88BE925-9F35-42E4-B9B1-000456A9BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458800$A5AD3D7E-D21E-44DA-BD6E-19E08C14B2E5","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":"Q5458800$589CBA70-9673-4A39-BF1B-C661E5B5E583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb5fd0bec9aba0c34f35fbbca59d582fb1da12c9","datavalue":{"value":"https://doi.org/10.1007/11506676_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458800$C988C754-7A62-4EDF-B4FC-E9F1C2C4953B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f8845fc0deb6e8258c551f0ca0a9ae7502e055c","datavalue":{"value":"W1590036030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458800$E9F31022-C372-42DD-AFFE-02C11519DF5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2356cb60a93da36d09fad8029fe38ec390eaf194","datavalue":{"value":{"entity-type":"item","numeric-id":3087806,"id":"Q3087806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c84482658f29be6c0c10f8edc93fa464fa09df9","datavalue":{"value":{"amount":"+0.8955716","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":"Q5458800$20BF05DC-EC92-45E5-81C0-8A072150200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065dcabd7f49d827b1c0029dbedd512f723ca5f8","datavalue":{"value":{"entity-type":"item","numeric-id":1924724,"id":"Q1924724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2847cdb78fe3aee1c95f05b1a87c1044b0375a","datavalue":{"value":{"amount":"+0.84615016","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":"Q5458800$1CF8BBE6-E978-462E-9831-5FA1C0125829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c14da53605bda1610f650d59b29f06659c1718","datavalue":{"value":{"entity-type":"item","numeric-id":4452593,"id":"Q4452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ba8603b141fa92ff7f463d456e3a9c35f5e855","datavalue":{"value":{"amount":"+0.82875437","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":"Q5458800$314AFFB7-D484-45E4-8480-9FC25182CBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a85de17b6cb7533f2e714d5e2862981de1e661","datavalue":{"value":{"entity-type":"item","numeric-id":2326747,"id":"Q2326747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de6c2e0808097cb9143d2dd6faedd24b14dab74","datavalue":{"value":{"amount":"+0.82614946","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":"Q5458800$0A18D2BB-EE9A-4119-8DD3-396E25DD7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03168aa16b89ade7dbd3f636ffe668706d2b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3685172,"id":"Q3685172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610699dc4ba5ab724d13096d98acb5a812eacc86","datavalue":{"value":{"amount":"+0.82486606","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":"Q5458800$FFFF7639-2DCD-4A8D-9FF4-94D3F4DF1180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94454644460a67e9d05905f2be6186b196cff429","datavalue":{"value":{"entity-type":"item","numeric-id":5028439,"id":"Q5028439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be201968699820ee7f866be446171a6fd5616e6f","datavalue":{"value":{"amount":"+0.8232215","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":"Q5458800$63946032-F224-406C-8DDA-43C47C70DAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be5da3e6f26618547990e63d66c95bc314e0c94","datavalue":{"value":{"entity-type":"item","numeric-id":4281588,"id":"Q4281588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94360427097b222adc9b8a250b6083448863d66","datavalue":{"value":{"amount":"+0.81391627","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":"Q5458800$3CCB4EC9-1190-443D-8416-27CC181DF723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7530272832f41eab9403e6bd4d89b6d9c14b47","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ab2ff09349df3cc0568448f855c228be34d5e3","datavalue":{"value":{"amount":"+0.81257784","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":"Q5458800$8FFEEA4D-C675-4D8E-A60E-1BBDB756E1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767bc48bd53a0b15eebad055bb776ed5fe75b0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5449592,"id":"Q5449592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7a33bff10768a98b3238ccb3219ef008f3bf3c","datavalue":{"value":{"amount":"+0.81223416","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":"Q5458800$A595D69B-5BD3-4E9E-A66E-DD83AB9396A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458800"}}}}}