{"entities":{"Q4930760":{"pageid":6960342,"ns":120,"title":"Item:Q4930760","lastrevid":41575392,"modified":"2025-05-06T00:28:49Z","type":"item","id":"Q4930760","labels":{"en":{"language":"en","value":"Retroactive Subsumption-Based Tabled Evaluation of Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794787"}},"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":"Q4930760$F4AF46BB-9A1A-4CC4-98C0-64F186330146","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fa393441af182163e1896a172ad9cd1769a065c","datavalue":{"value":{"text":"Retroactive Subsumption-Based Tabled Evaluation of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930760$96E886F8-B581-408C-950E-72CA1D97E39D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4f2f1dbfe95618464ae7bd78380978802252206","datavalue":{"value":"1306.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930760$DA0D8135-1B2C-41B7-B857-598C93417E80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce49b4844c60a3b691bfa9ea2ce626136143686e","datavalue":{"value":"10.1007/978-3-642-15675-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930760$D8EED90F-DCA0-4C57-9665-34A2226268E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af2f838319e9ba47d7cb3d9cd79250b7bc3f4317","datavalue":{"value":{"entity-type":"item","numeric-id":2403779,"id":"Q2403779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930760$76A82F6B-0F38-48E5-9278-3F55215EB278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a69f27b46f284c9f2508945940835ce0c8d3a83","datavalue":{"value":{"entity-type":"item","numeric-id":291262,"id":"Q291262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930760$6C801A9D-5EFA-48C3-BDEB-B326F2B81ED2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930760$2EBA021F-3533-46CF-B93D-699A367989A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930760$51C978B5-B909-43A3-B456-AEFDDA833081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930760$01D83FDF-2EFF-4A0D-90AA-38D28E674961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186938fec47bc8f26a4a6cdc53a44a218911c806","datavalue":{"value":"5794787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930760$2A2DE695-A960-4160-9FCE-61DF753258C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8dd834f87f61d4ab60b0babc3f2656696e560b","datavalue":{"value":"tabled evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930760$F865BE7C-17D6-4B68-AA19-D97921DDDAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8540ca56a4d7454811d4122cb388b81b9448b2e1","datavalue":{"value":"call subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930760$73E34B5E-6B6E-4231-8643-059CF9D43F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930760$FDDD50C5-B6B9-4886-97A6-D022E593AD40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8696d7930b5efdf5e5ef005f36ecab4f0d6d568","datavalue":{"value":{"entity-type":"item","numeric-id":25794,"id":"Q25794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930760$2998B707-F9E2-4BF2-A517-94C09E4B81E6","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":"Q4930760$2CF91689-5610-4A55-8398-5B9A27EC4E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a4c9a70f6e246dd87dd094bf50a8d105429d188","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15675-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930760$BFB02E83-F339-4521-AD82-DB00BE21FDC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"851be70e0fdd00b6f61bb5dc5d76c715bba54541","datavalue":{"value":"W1551033885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930760$81E5168A-DCFD-4C65-950D-53214B0FDE92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad3868e5b5680cb9ba5d215d4ada7cdf0fb3c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3087453,"id":"Q3087453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8ee3688a27b7468ce9c665ffd4ff1f3ea40331","datavalue":{"value":{"amount":"+0.9106877","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":"Q4930760$93D8B5B4-1C95-4DA5-9577-96749561B317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aed5e2c2131b6f29d562a29deee41862f1f12f9","datavalue":{"value":{"entity-type":"item","numeric-id":2766790,"id":"Q2766790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a95b06251414f7b3ac85650dfc98abaa0c59c7","datavalue":{"value":{"amount":"+0.8967369","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":"Q4930760$AC639BBF-613B-4D40-B1F7-67E858F68390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb35bc45d199a54469957c4aaf62128619c0b3e","datavalue":{"value":{"entity-type":"item","numeric-id":5191493,"id":"Q5191493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dae30e03a934ce439cea29696389e32ac5a147","datavalue":{"value":{"amount":"+0.89006233","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":"Q4930760$71FC62DE-0E2D-4AEA-8877-0E3F6D620C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551ea08a65e980f3a316056ebd6a64c51f2661bb","datavalue":{"value":{"entity-type":"item","numeric-id":3087452,"id":"Q3087452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf60af065ffe62297450a93af1b70a2a5e69b808","datavalue":{"value":{"amount":"+0.87889713","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":"Q4930760$7FBE76C2-3F9C-423A-A8E8-F4914C09EE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ef702e412465f5ce5f929a291057d7ee983188","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809b84e8369d757897be631a53c3a536589637db","datavalue":{"value":{"amount":"+0.875997","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":"Q4930760$7100F3F7-7DE0-4C22-A5CD-92C135E89E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a1668fa9f79cc715a6efdc82c7715fff5cba97","datavalue":{"value":{"entity-type":"item","numeric-id":2753602,"id":"Q2753602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c8d3bfbc34862aff5939f64287b319340e46b3","datavalue":{"value":{"amount":"+0.872518","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":"Q4930760$6846E5CD-BAFB-4834-AAA2-71C96BEE59F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67395276a2879e7f0a4470d76b52b30627400328","datavalue":{"value":{"entity-type":"item","numeric-id":5475782,"id":"Q5475782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eda09998fb0ad70721397c29c5396fe1d08b875","datavalue":{"value":{"amount":"+0.8712359","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":"Q4930760$7705202F-FF5E-4FF2-8898-D7A81A041A4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930760"}}}}}