{"entities":{"Q4593035":{"pageid":6622620,"ns":120,"title":"Item:Q4593035","lastrevid":58284333,"modified":"2026-04-04T13:49:23Z","type":"item","id":"Q4593035","labels":{"en":{"language":"en","value":"Putting logic-based distributed systems on stable grounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804590"}},"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":"Q4593035$3D6F5A24-0E07-46BB-8E5D-C8A39829E846","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0253221b3ba7fb7a813c913a29b3da7d08c77587","datavalue":{"value":{"text":"Putting logic-based distributed systems on stable grounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593035$E38B85B8-7912-427B-8EFB-546950134148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e43c9a6a26ac2a9578924431186fa93ce01505","datavalue":{"value":"1379.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$9A04378B-9A88-4A61-8798-76D17AA6D502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44ad27972f9697d863e89595b251dd368c376945","datavalue":{"value":"10.1017/S1471068415000381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$3707D8BA-4C65-4B43-8DBB-EFB482AC8C51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e10f58844d2e3bfae82ac6fd73b27cf8b118b3","datavalue":{"value":{"entity-type":"item","numeric-id":269333,"id":"Q269333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$48565705-5062-4237-BC29-C23E8EB92D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d17eed939d4be15a044dfb000abeabaaa52a52","datavalue":{"value":{"entity-type":"item","numeric-id":256712,"id":"Q256712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$272E9D28-1182-4C3B-BD8B-C359C165017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fdf366ace1ad2f53ea4a1d0f5fefbcf7198cd93","datavalue":{"value":{"entity-type":"item","numeric-id":4593033,"id":"Q4593033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$048D4047-8F1C-498B-80AC-2B113FB13D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d03a81a889e93334fdddb79a9a2318b3157c70","datavalue":{"value":{"entity-type":"item","numeric-id":4593034,"id":"Q4593034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$77464E33-ED78-4689-A1EE-EA1F8DC6B7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"075e217fa77c25beaee37ff23502acb85334882a","datavalue":{"value":{"entity-type":"item","numeric-id":1606849,"id":"Q1606849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$648A1DEE-B4BD-43DD-921B-EBD85B77A113","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":"Q4593035$DABFD8A3-62D4-45FA-9C42-0C1BC2B3CAEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593035$E36B6A4C-1AF7-4089-99AE-0AFC880066C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0daacd88326a28e626a87eb3232b0b6509b60bdb","datavalue":{"value":"https://arxiv.org/abs/1507.05539","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593035$CE960F64-9083-4281-8568-FFA64320D0D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$418CEEBB-DE32-4089-8A89-B1FED87A9ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$C60F2340-0511-4073-B12A-EB13849D6C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$D408A953-E370-4A5B-8EFF-D4489668D481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88a8d1385b6fcbc7f9edf78a79afc0471cbf0114","datavalue":{"value":"6804590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$A69DF2F7-1073-4AE6-9BC3-A1DBBE9C30BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f020088f9bfa1d92d54200cabb4bf515b494e27","datavalue":{"value":"Dedalus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593035$75697DEC-AC68-44C3-9F4B-6FFC8B4780C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593035$D53F7FC2-66A7-459C-B464-48E5988C6CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593035$7FE4FCC2-EA28-4847-B0F3-3D63A753232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593035$92E85B55-182D-4255-A048-EE6679FA8986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27856c0da695a322e7afa82ea131a6e7281e06ff","datavalue":{"value":"asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593035$3C91B2D0-D7A6-4F43-8A96-D174B4F33794","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$32B1D654-84AE-4761-96D7-E1C37042591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4a2fe7276d75858370124dee83d34bfb5d2170","datavalue":{"value":{"entity-type":"item","numeric-id":15118,"id":"Q15118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$DD03F56D-94B0-4058-99DD-97A59FA56108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$6BDD15BE-350F-4A6A-891F-23E3288FB5F2","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":"Q4593035$F8DB0D8A-B40C-483E-AC77-ECF03D68F4D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$2F29831E-BEE3-4CF3-B333-48A5B4E5101D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$A5316D2D-4415-49DC-A474-ADD798FF04BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb2060838a020e5806c6d804642e025a1b662d1","datavalue":{"value":{"entity-type":"item","numeric-id":1603734,"id":"Q1603734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$A81DD5EF-803A-46CC-9944-AA4AA891ACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92189ccaa0486d6864d0306861065ea1f1c47f09","datavalue":{"value":{"entity-type":"item","numeric-id":2453541,"id":"Q2453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$C7FF7159-38CA-4412-AE3B-EE7485ED3AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eedf3fb8ce478b4cc8038f0635c6eb014a2407","datavalue":{"value":{"entity-type":"item","numeric-id":5395713,"id":"Q5395713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$E0522ED0-14A0-455D-A619-D11B99ED7AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$70C7214A-5344-4269-800C-2C31569654C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$64E581C1-1953-43C1-85A7-336E4FFF1674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ed5d909f92d7d4f95ee0bd650c4a3fe00663a2","datavalue":{"value":{"entity-type":"item","numeric-id":664840,"id":"Q664840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$19F39E46-3057-4275-9716-D26577352BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$8DCBBBBC-98B7-4D2F-B74C-7A008A01A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1fca1251b9a8527d1b796e2899a1aaef492180","datavalue":{"value":{"entity-type":"item","numeric-id":5137907,"id":"Q5137907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$260C295F-88EC-4A30-BBE5-A86621D677AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4597a5daa9a385dd517435ac47e510455bd5666","datavalue":{"value":{"entity-type":"item","numeric-id":4739291,"id":"Q4739291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$162BF37A-D53E-400A-AD30-C95D8FB6BB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c52e78cdffabb95e6ea0cb27ede9cf2dfa5c5db","datavalue":{"value":{"entity-type":"item","numeric-id":5302010,"id":"Q5302010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$6856FEF7-516F-4688-8E04-40BC715BA453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a84b1a6379730824889eddc0caf3fc8b99d551e","datavalue":{"value":{"entity-type":"item","numeric-id":2900541,"id":"Q2900541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$230E2821-0D8D-4C67-A3CD-EB64FCD48E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$96C2D9B5-8E53-464C-ACF4-65A3B06C0A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc4380a3af5ff169585ea0ebf3bd096b57332a7","datavalue":{"value":{"entity-type":"item","numeric-id":5398312,"id":"Q5398312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$773C3347-E56A-4BE8-88B4-FB9FC80FF97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$23EC332F-1506-4A36-9271-9F45552E0812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593035$AB0D91A4-6392-4E30-A09D-876F452DC116","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5411dc1c527baac24c320c5746b5563a57dfb7a0","datavalue":{"value":"W941810826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593035$FD2BB876-0295-466E-9D24-6DC0BA9E401D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453ec62d65393c0cfab33d78b16821e83eea0e70","datavalue":{"value":{"entity-type":"item","numeric-id":2900541,"id":"Q2900541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc94c240b19343c6d6a3305d16c43b3c1779af3a","datavalue":{"value":{"amount":"+0.8204801678657532","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":"Q4593035$54A1C79C-26B1-497E-8064-6F4DB397BCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6458ee3c2b1056a3f76cc435b29b363c6e2186","datavalue":{"value":{"entity-type":"item","numeric-id":5398312,"id":"Q5398312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa677790610da5c2b5af239b0612e9db24784b9","datavalue":{"value":{"amount":"+0.7759586572647095","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":"Q4593035$E4F4E53C-39E2-4958-AC6C-2B27BE1D48B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d03c21150508b05a08fbc3194b8cedceaceb56b","datavalue":{"value":{"entity-type":"item","numeric-id":4696741,"id":"Q4696741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f20554782781bf0b7450acb072db76d339981d","datavalue":{"value":{"amount":"+0.7462551593780518","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":"Q4593035$15E0A782-BA44-4739-BEF3-19DF11AF8D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a9ce6483b176eed7db96d8fb678f0377b9831d","datavalue":{"value":{"entity-type":"item","numeric-id":1177921,"id":"Q1177921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48dfc6259af1931ca0ac447ee354b99c011ef73","datavalue":{"value":{"amount":"+0.7451972365379333","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":"Q4593035$7E8EC579-E4E8-4296-96BB-A29B04C0BC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d041626ed12a8109de5281633352c61f4943b5","datavalue":{"value":{"entity-type":"item","numeric-id":456472,"id":"Q456472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23a50218763cab2ed1fa27478e8843a21d5203c","datavalue":{"value":{"amount":"+0.7278717756271362","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":"Q4593035$9C52FBF0-2EC5-406C-9050-840BD659D5D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593035"}}}}}