{"entities":{"Q5952811":{"pageid":8129613,"ns":120,"title":"Item:Q5952811","lastrevid":47726812,"modified":"2026-01-02T13:18:55Z","type":"item","id":"Q5952811","labels":{"en":{"language":"en","value":"The branching-time transformation technique for chain datalog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1693318"}},"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":"Q5952811$3D43681B-BAF0-41F3-8CCB-047D2FA2D01F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75483b26f4ad8a7550f8f69c709f1b2e0773d990","datavalue":{"value":{"text":"The branching-time transformation technique for chain datalog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952811$767282C0-70F8-447B-AD7B-844A2C235516","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f76e68e6ba0423e7d36f058fb7db86e803c4778","datavalue":{"value":"0985.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952811$BF2271DC-41B6-4675-A415-90FD1F696B25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3436d5faa57ff940570cd08bd3bd021657c74771","datavalue":{"value":"10.1023/A:1012502800961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952811$13A44E07-E6EC-47C6-AC8B-EEB82E86D27D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952811$1DD63603-85D0-4E4C-93C3-D7461D6516CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc344ffb9f54d04a2fdd2418198db129910e72b1","datavalue":{"value":{"entity-type":"item","numeric-id":169898,"id":"Q169898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952811$D06CAD23-A8D5-4355-BF55-B556A6E6EDD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3a39db61bd92223b84855384e6adc549c24c4a49","datavalue":{"value":{"entity-type":"item","numeric-id":223592,"id":"Q223592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952811$D8F1F91C-A8D3-45D8-99B4-DB192B0AF4AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e204a4d23e0af36d5fce5daa28f0962661f55a","datavalue":{"value":{"time":"+2002-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952811$8287BF2F-C24C-4FEC-887F-B98C77D28966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952811$49EA1FB1-20BE-471F-ABB4-17AF11EADDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952811$A9416B12-B19B-4C85-840D-61F1B9A882FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9291bc9fd7f8cb6e95308f076828e85d5d800da7","datavalue":{"value":"1693318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952811$DFAED931-08E9-4DF1-8087-EFB533EAD32E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c898d1816c5f803a106855101e7fcc85d40989c4","datavalue":{"value":"branching-time transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952811$39DC81B9-D60E-4A9A-A0C2-6827FDFB0AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dce19b34d4c5fef12b578d7b48fb60256af0c68","datavalue":{"value":"Branching Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952811$2EA211DE-51F2-4250-8D70-D09FACDE76C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bb307df7c1d66f229aa58826f6156a4d00fca7","datavalue":{"value":"Chain Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952811$EBC24E08-E74A-43F3-BF51-CB1657B11B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a61fec8b5d4ae8a0a33aeeb1f3d3643be06bb95","datavalue":{"value":"branching-time logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952811$90583C33-D404-48A0-97C3-C76D9DA2052A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952811$83F6067E-D5BF-4FE5-84B6-FC5A5737DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952811$96EB6843-4351-4DE5-AC8D-09611CA063B6","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":"Q5952811$AFCB9D28-5922-4915-B0CA-D2FAFDF52654","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f459c24bfbceef889406f01447dfe1465dbfe882","datavalue":{"value":{"entity-type":"item","numeric-id":5487109,"id":"Q5487109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02da38dfc043f00fc5f9dfe0d79a2fae7402fa3","datavalue":{"value":{"amount":"+0.8197616338729858","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":"Q5952811$07B31C65-732F-4384-834B-D48289381123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5564b71ed127d034e2f785eeded4ca1ee7da552f","datavalue":{"value":{"entity-type":"item","numeric-id":4808806,"id":"Q4808806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab51b6b813161062d6ccbfe4eeed668b9b59442e","datavalue":{"value":{"amount":"+0.7945215106010437","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":"Q5952811$6F85B30E-70E0-45CF-880E-927782545815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26f85e163eef0e706c2ff8782ef38bdfb150ef9","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5854c24642db6f1850d611177fa5e3cac143b9e","datavalue":{"value":{"amount":"+0.7453110814094543","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":"Q5952811$1A3CD5B8-A497-4FDD-9D28-8F71A82EE1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c3d7aba11deddc79315e7cd46f40839cce19e8","datavalue":{"value":{"amount":"+0.699381947517395","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":"Q5952811$08A4D2CA-8BEF-4826-AE44-D7079EBFF5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4b3c73b22429cee38600ae79ea12d83fb81cba","datavalue":{"value":{"entity-type":"item","numeric-id":2734948,"id":"Q2734948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad1ca51fec9f30189a50c414f66ca8f4473e5d9","datavalue":{"value":{"amount":"+0.6916218400001526","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":"Q5952811$D0738541-B601-4C94-B3A4-75E4E4EE2C77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952811"}}}}}