{"entities":{"Q4696741":{"pageid":6726318,"ns":120,"title":"Item:Q4696741","lastrevid":47176603,"modified":"2025-12-31T22:22:19Z","type":"item","id":"Q4696741","labels":{"en":{"language":"en","value":"Distributed Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 221202"}},"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":"Q4696741$C8CB97A8-33D6-4F9D-9CCD-E6B0AB5C9BA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b13d48914533c648f946f9f446cdf4e3e19ed873","datavalue":{"value":{"text":"Distributed Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4696741$CD5AA093-8A9B-4294-9716-E6BB81ADC133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d31e10d2689621671874d51d98ac290ac63d3cbd","datavalue":{"value":"0778.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696741$540935F9-EF10-4EA4-BC62-CDFEC8AEAC31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d441c0250b74f15f5a6eee44c55a3e3f77a01ae","datavalue":{"value":"10.1016/S0743-1066(14)80002-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696741$9B41C073-FE79-407C-91FE-D0B8437AD556","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e105f5452a33d5c31b2de16d56cb54daabe02cb1","datavalue":{"value":{"entity-type":"item","numeric-id":615892,"id":"Q615892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696741$8C8527C6-1DAF-45D9-A823-A46B86B6614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696741$AEE04C94-A99E-4E57-BDDE-7EC2BE6405F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696741$E91CCA27-B61A-4F7E-810D-A1775C8F4B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4696741$A419546C-FF50-44EC-81AB-7B30A01EB3F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696741$BD15ED4B-E5D4-448C-B6FB-52BB2143414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696741$328332B4-C52F-4968-B7CD-86910A86DB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696741$F5165A3C-B0F7-4299-813D-F104A2DFDD62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b91210e24393cd27f9a8ef1fe9f91a2be5408cb7","datavalue":{"value":"221202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696741$2F314A88-13E7-4CDE-B94C-7E4F1B69EB26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f099e6676f3c66bc2b3b20c860dc1576285fc317","datavalue":{"value":"AND-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$02955997-1DBC-41FF-875C-0E9222064E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142ad176b509766fc626fc5ad6b3d60ce7604d3c","datavalue":{"value":"message-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$E6B4BB3B-400C-4ACA-AAE6-293B27428A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffcde4985ba2fbae53dbf23eae2bb582cde38185","datavalue":{"value":"communicating sequential logic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$9A5BBE68-47D4-443D-B265-7819146C1C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aefe795756a2e0bdfb9d881fa56a0fcfd12dca7f","datavalue":{"value":"Distributed Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$B052F2D5-AC84-4068-B085-429574FBD8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$FCED26FA-4103-4D13-8BFC-9158E63A86FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$648BEBBC-4343-4075-8322-A66B4A9C00B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696741$8145F1AC-E6AE-46C7-BD78-B9B0C9094DFB","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":"Q4696741$2856E2ED-AE12-47B8-A05B-69013EFCE25C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cae292f37e87f9cce269098b78f0fdcc801418f","datavalue":{"value":{"entity-type":"item","numeric-id":1575879,"id":"Q1575879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b3d9d5d2ac0f6351831157568b39ae417b7ae2","datavalue":{"value":{"amount":"+0.8196859955787659","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":"Q4696741$8679CAC7-48DA-4982-A4CF-22B8D5789F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542eddde2d11a6029a4ee278d0278bc5c0e793f8","datavalue":{"value":{"entity-type":"item","numeric-id":4529645,"id":"Q4529645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e62030a6884479c0647eb3098f906ee01920aa","datavalue":{"value":{"amount":"+0.8115973472595215","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":"Q4696741$ACD10205-5306-428A-8845-9AF599C08C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64405cf95dbb4ac51bd90b348d2c19651d6c2fd9","datavalue":{"value":{"entity-type":"item","numeric-id":1198092,"id":"Q1198092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654c5e65fc9ca22c3e143d1e3e9f6af228416b9b","datavalue":{"value":{"amount":"+0.8103094100952148","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":"Q4696741$F424B291-5BC7-4EFA-B96F-7579667E26E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c81a0762ea02fe180ae28bbea5717823f5defa","datavalue":{"value":{"entity-type":"item","numeric-id":3343422,"id":"Q3343422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1f67eb9ff55ea97bd6ddaa60634b186e92bca1","datavalue":{"value":{"amount":"+0.7952249646186829","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":"Q4696741$B718E8DA-4258-46D8-B4EC-BC427DBE5B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"811026a07ceb426223ac1a65193f005b749ce6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3159287,"id":"Q3159287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972e04394bdb98302b613bfdd6cdfc787fd9ba79","datavalue":{"value":{"amount":"+0.7923131585121155","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":"Q4696741$CCABDC22-BFC8-41AD-8F3A-2DCEDF74DE50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4696741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4696741"}}}}}