{"entities":{"Q3721800":{"pageid":5751706,"ns":120,"title":"Item:Q3721800","lastrevid":50692220,"modified":"2026-01-14T20:04:33Z","type":"item","id":"Q3721800","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951990"}},"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":"Q3721800$D1B3FC2D-7CDA-4C9D-9011-0901B1362425","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"043c7b697b8f57ab95eefd98cc57de4dfe1d0e1b","datavalue":{"value":"0592.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721800$4D25AE46-91D7-4C42-89D2-56388E4B47CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60df9055b88a43a1b502d4cd7317f3a7e61099a9","datavalue":{"value":{"entity-type":"item","numeric-id":314430,"id":"Q314430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721800$B9E3D53B-CEDA-4161-8B74-302CF6007FC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3721800$85E9F8E5-2027-4002-95ED-A50BE423DF82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721800$27C3D161-710F-4536-BBF0-E1AC7CEA6480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721800$C434F527-A5B2-45C3-A8C8-45E9CDE600E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8e108a8664344fc3761969195a783a7d51fb0e5","datavalue":{"value":"3951990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721800$EE4387A0-3AD5-41B2-B724-089C47BD3677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3858c3f5798e7aa42f7d8cab08c42c898efc70ca","datavalue":{"value":"concurrent logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$46C64D25-B2BE-46F8-B383-FBF3DA6DBA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b220df8f62169e2f6c0baea0e902a492a3ffbb7","datavalue":{"value":"Parlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$9EC4E7E2-6CBF-4AB4-A961-966B838F8428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f81dafa014d463688eb8ce0780bd0dbdc23c1f0","datavalue":{"value":"CP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$01C24CA8-C847-415E-A77E-3D1B0CD593AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0afe6f7a214bd8f55fcb624670f020fb43d52224","datavalue":{"value":"GHC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$332C6161-71BB-4968-9CD4-EB39C80E70B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$CB3F82FF-F633-4B61-9545-010D774EF772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40850ac328d1e700e2db17fa45d406c3cbb0ad15","datavalue":{"value":"Actors model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$8360C80F-A404-4BA1-90E3-11B46E67C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12ccfeeed1069a0000336dcfdb3a6a58af2ca19","datavalue":{"value":"bottom-up partial correctness semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$FEFED481-8E93-4563-8F49-B4CC094BEFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa60117a6ac298362120852e5abb50766f19b7e1","datavalue":{"value":"Concurrent Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$1F8BE1BC-BA35-489E-820A-AA47367D7C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab93d96f2170a320227d6faaa9833505db57404","datavalue":{"value":"success set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$D59B6AAB-8833-47E7-956D-4A0EF4762EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe618e9dc96f8b5d3e2c8db712e1f01edf4e18","datavalue":{"value":"finite failure set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$6CCE696B-CF47-4BC2-92B8-6B9016AF6E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bcf07e26cad398ef2f9f94fe9ed53135e38db35","datavalue":{"value":"deadlock set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$A389BC93-976E-4814-A6F3-F94445B6FD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721800$82491A4D-16B0-478E-A01C-19B033A8B06A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721800$06D5989A-19FD-49D4-97F1-A21A1801A24C","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":"Q3721800$6FA30AE8-1C23-49B7-A95E-838B8D591D42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b21a074ea5d8e4c9489ee4aad13135a9b8e08be","datavalue":{"value":{"entity-type":"item","numeric-id":915476,"id":"Q915476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2a243a38690d293c8623053da38315ce476002","datavalue":{"value":{"amount":"+0.7912173867225647","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":"Q3721800$72AE35A7-913E-49C5-A0E9-8AC8B5A1BBBB","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":"41a4439f9e5c458dd28e2294d78f530d28d987fc","datavalue":{"value":{"amount":"+0.7714982032775879","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":"Q3721800$B11E0350-6A5E-4815-B903-D6D769350AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec955608fd6d85cddfffbd77a08e5b6005213e1","datavalue":{"value":{"entity-type":"item","numeric-id":3727355,"id":"Q3727355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271698ddaf2afb9809a5a9fcc6c0623e2b783f21","datavalue":{"value":{"amount":"+0.7691758275032043","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":"Q3721800$B6A51F98-1B08-4788-9699-4DCC4E242A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c08ff67404e2fafcf7a01a74463050e9895f944","datavalue":{"value":{"entity-type":"item","numeric-id":3787443,"id":"Q3787443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1e7e668d4696609de7f33a40d81622773e38cc","datavalue":{"value":{"amount":"+0.7628797292709351","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":"Q3721800$44204693-91FE-478D-92AB-0C0497CFC733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cf56e85f9ec00f08fb828e0044cfb0dab968c1","datavalue":{"value":{"entity-type":"item","numeric-id":1200981,"id":"Q1200981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806a64abafd3d2e3d545938722cb82673417c96d","datavalue":{"value":{"amount":"+0.7495958209037781","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":"Q3721800$28B01B4F-FA23-4F96-9D27-EB8F76E683CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721800","badges":[]}}}}}