{"entities":{"Q5398305":{"pageid":7427879,"ns":120,"title":"Item:Q5398305","lastrevid":51935246,"modified":"2026-01-20T14:04:52Z","type":"item","id":"Q5398305","labels":{"en":{"language":"en","value":"Compiling \\(\\mathrm{input}^\\ast\\) FO\\((\\cdot)\\) inductive definitions into tabled prolog rules for IDP3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262134"}},"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":"Q5398305$7DE598FF-6E14-4825-8D66-297F64A27713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2244babf31e9cfddc621d0eb529756cef048098","datavalue":{"value":{"text":"Compiling Input* FO(\u00b7) inductive definitions into tabled prolog rules for IDP3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398305$BF4E76EF-8D63-4A68-BCC5-F8ED7705F844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5a46115e9ac00a2f1a69d4fdf721040afe40b54","datavalue":{"value":"1286.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398305$EFF9BF35-E850-4FAE-92EB-183D3B3F60AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"542f39634373af11f428e793c9b9648d54e15078","datavalue":{"value":"10.1017/S1471068413000434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398305$C9DA6306-E13A-413E-A402-D6EEECDDB143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe8e18c04abef6664460e3c92d7bbd7b3f321cf4","datavalue":{"value":{"entity-type":"item","numeric-id":2931256,"id":"Q2931256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$6CFC473D-08AB-4B77-B2FE-29D68BBB2020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fbd55ed128f9b6105c379f51d8371635a583d14","datavalue":{"value":{"entity-type":"item","numeric-id":5398304,"id":"Q5398304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$C718A806-986B-4853-BA9C-9EE977F8E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10df364845edaced0a0bcab5763b691a5d68702d","datavalue":{"value":{"entity-type":"item","numeric-id":2317966,"id":"Q2317966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$CA45023A-79BA-46C1-A664-5F8E6995F5A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$2BEAA3AE-C599-4C91-83A0-7B6ADC3CD90E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ad1819a6b25c30725bd1583db7084d2537ac828","datavalue":{"value":{"time":"+2014-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398305$C4554665-0B84-4C45-82FE-AE5705C1F9F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398305$3F0ADCDE-F02F-42CF-A8A8-B80BC302EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398305$1DB6D0B6-0289-4A9C-9276-289E58315485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398305$451B40BA-E9A5-4848-A05E-8C97103FA2FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c48a0db2b0fe099349412e24953d9d190fa454b","datavalue":{"value":"6262134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398305$8C02988F-DE86-4C14-808D-BD463CC23264","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$EA98A83A-26FD-4BC8-9405-50D987BC227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b3c054998cbd030ed7c024a384e87f53013a7d","datavalue":{"value":"FO\\((\\cdot)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$4D50EB63-1379-49FC-AC46-357E1E36EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$C5299AEA-A07D-426B-BE57-543E0D956272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$8EC45368-9CB1-418D-B639-F07EDD31B6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12240d4bc274dad14726d87608196b6714185bf7","datavalue":{"value":"knowledge base systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$0DE27B69-74CC-40C9-8344-6D3D46F7951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527a552792198c6255093c476acbe93953155929","datavalue":{"value":"IDP system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$C031A344-B939-4397-8570-40BCF5B052EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecc1f3c700c20292a8096d41946bda3ad8e3999","datavalue":{"value":"declarative modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398305$DD94B838-8E0A-48A8-A06B-6A6851385030","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$2A831901-C92F-4CBF-B283-4258801D3ECD","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":"Q5398305$26822362-827D-405A-A24B-4C501E806910","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cd020a3c1a90a42ddf43bf2e3758cb37ddc60a","datavalue":{"value":{"entity-type":"item","numeric-id":532641,"id":"Q532641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$38CF187C-E116-4134-B63B-C0286968C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7107bf70a37ed3bdd9161ef8c909e6889509c96c","datavalue":{"value":{"entity-type":"item","numeric-id":2893097,"id":"Q2893097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398305$1595A95E-0C2B-415D-BCF2-2A04AA204496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8de8eb4a710c7bce392bc0ead33add3976c656","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be81eb7e697e70795f47bd1f529dc19ce274a638","datavalue":{"value":{"amount":"+0.7488468885421753","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":"Q5398305$5CC95AB8-82DC-47F0-B251-341022FBE3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74bfb81c4ea5d5adca76e93ec993a1460c358b30","datavalue":{"value":{"entity-type":"item","numeric-id":3563101,"id":"Q3563101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec82b76e2093b4ff5762df3e9c31473fc740e0f7","datavalue":{"value":{"amount":"+0.746760904788971","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":"Q5398305$8C7BB48D-5B70-4BD9-8439-1D6849468FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a677d143b5276a704bf17c4cca2ead5ff5d9cd07","datavalue":{"value":{"entity-type":"item","numeric-id":5387866,"id":"Q5387866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27681c4a857b42d30a0849d13b7e0ae17d75522e","datavalue":{"value":{"amount":"+0.7123528718948364","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":"Q5398305$4E3D22A7-00C8-47D7-89BB-1FBA8F4B196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604385136b21f9e3c4a0f2e0fa8cddeb28eaa785","datavalue":{"value":{"entity-type":"item","numeric-id":3498482,"id":"Q3498482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5138d6d45ca9a413b051542bb9cea2b555bfcae","datavalue":{"value":{"amount":"+0.705363392829895","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":"Q5398305$413CE5ED-35C0-4C37-AB5D-55ED93537EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fb67448a60896c9dc7fbf9a06632b1b3102347","datavalue":{"value":{"entity-type":"item","numeric-id":4593015,"id":"Q4593015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40104c9faed6bd498965083442fc8cdb3e9652e5","datavalue":{"value":{"amount":"+0.7030102610588074","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":"Q5398305$28CF246A-73B5-415B-AAE8-7286C82118F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398305"}}}}}