{"entities":{"Q4719299":{"pageid":6748876,"ns":120,"title":"Item:Q4719299","lastrevid":46862337,"modified":"2025-12-25T18:03:09Z","type":"item","id":"Q4719299","labels":{"en":{"language":"en","value":"Branching-time logic programming: the language Cactus and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383600"}},"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":"Q4719299$B6132D56-5F25-48F4-9CA7-2632D5B52BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdb5ca8aeecd908c525fb01c99ab40b32026bcb5","datavalue":{"value":{"text":"Branching-time logic programming: the language Cactus and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4719299$0950EC94-4C95-4D71-B4C9-74B49714D295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e69ecdcf637ab46756e21cc8979e641f320c4e","datavalue":{"value":"0948.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719299$1DAEE1BA-0C89-45C4-B839-96FFBE1FCB0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c1d45bff72bba380b8cd8b8468f9c3f01e77a1a","datavalue":{"value":"10.1016/S0096-0551(98)00009-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719299$2A8D35AB-B487-4AA3-BB27-318E71B54DF0","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":"Q4719299$BFA80142-AF6A-4750-9EBF-9B1BD65C9ADB","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":"Q4719299$5EBB9178-3280-4408-A21F-9F3C32F04EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5699574fa331d1f3310b4ad996f4f2d43f67a3","datavalue":{"value":{"entity-type":"item","numeric-id":169900,"id":"Q169900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719299$2BFF57E0-2252-44AE-A811-41EC3EDFC4CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719299$C2232DE7-B612-49A4-8F67-8BB5264183B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4719299$F704551F-2161-426E-8092-C963FB1497B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719299$5DBB97AD-513F-4E98-AE0F-F2824A232366","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58b915623d18a483073d6a54319dc230fed5b2ac","datavalue":{"value":"1383600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719299$07B77395-1BCA-42F8-9F33-B505E10AA3BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc41edb1883357a8362d8393257fc4cfdb39746","datavalue":{"value":"temporal programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719299$B9A20F73-826D-4ED4-AA54-2232257A4101","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":"Q4719299$A8C2EF01-BDBD-4F5C-9520-6CABFB325F93","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":"Q4719299$210CF8A5-DE0C-4367-A93F-4C4FDD5D74EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56793e2898a33f6e1982d0d3300a2cc6e1b947fa","datavalue":{"value":"https://doi.org/10.1016/s0096-0551(98)00009-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4719299$DA6EE1FD-D50E-4B62-9140-FBB5A20891FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b051e442908938cd0f9a2f8a091ba559449c327b","datavalue":{"value":"W2136547062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719299$AF8187CA-759E-4A9D-AC62-9459F92FC0A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129b4246cb968833b5aa076d2773a6179c9f7c46","datavalue":{"value":{"entity-type":"item","numeric-id":2758304,"id":"Q2758304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf05a93ba2da69a1fc5e0068194a399b180b52d","datavalue":{"value":{"amount":"+0.8267703652381897","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":"Q4719299$0B3E52D2-9E54-4F81-AEDB-0604FC509D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b2a7a612d33dce9abe3e777c04cb3b2813be79","datavalue":{"value":{"entity-type":"item","numeric-id":3022009,"id":"Q3022009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e723596e959b1a516fe44a9f39b97bb911bb14","datavalue":{"value":{"amount":"+0.8076686263084412","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":"Q4719299$1FA7F984-1748-4C0C-80EE-EA99F20F4BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279467f31442deb033c1e96da95bc40e6e96dbd0","datavalue":{"value":{"amount":"+0.7873230576515198","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":"Q4719299$20209E08-ECF7-46D6-B59B-5616EF9DD9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172bf60cb65d6abab0e40fc03797d887e42ab067","datavalue":{"value":{"amount":"+0.754845917224884","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":"Q4719299$1CF1FBD6-095D-4268-B319-546C9C1535D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de53c3f9ae439e0a327dc8d16cd840a0051b957","datavalue":{"value":{"entity-type":"item","numeric-id":3813270,"id":"Q3813270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47bec46f38c629c849abe78c63353f71f6e89a71","datavalue":{"value":{"amount":"+0.7512518167495728","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":"Q4719299$D2874A9C-C2A9-42AD-92D0-95ACC9140663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4719299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4719299"}}}}}