{"entities":{"Q3766815":{"pageid":5796721,"ns":120,"title":"Item:Q3766815","lastrevid":51900989,"modified":"2026-01-20T12:23:03Z","type":"item","id":"Q3766815","labels":{"en":{"language":"en","value":"A fixpoint semantics for nondeterministic data flow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024752"}},"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":"Q3766815$7D6E4B93-A3F2-4CDD-9802-1D847D11AAB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5c5d57f9eb4abda1b0bc602e4b6f3b3509f095b","datavalue":{"value":{"text":"A fixpoint semantics for nondeterministic data flow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3766815$57481656-BFE4-428F-9709-A63D677E9285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a0b9061efc96791a57d8e510d758baf02095e78","datavalue":{"value":"0629.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766815$2C98BF73-3D9E-401B-96AC-07ED78FF66BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"653c59f6093e3593cc7a4d3059458b8a17df77cc","datavalue":{"value":"10.1145/3149.3155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766815$B5D3A372-C7A6-4BAC-AF46-F501E20328AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766815$E15077DB-6A30-42A7-A8EF-99B94C2EDEE7","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":"Q3766815$AAB71293-1C8C-478F-89E2-0151EBFAC06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766815$496873B6-819D-411E-8556-5CD4F68ABF85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a2a8e4db3d690594cc2f79aa7041b3f29190100","datavalue":{"value":"4024752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766815$0ABB9112-982D-48A6-93E3-6B73223AC767","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b873c35f08a55628ba9dee4a466b52ea8b8c6b5","datavalue":{"value":"denotational","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$0634CD72-C7BB-41B8-9ED7-11E6181C148A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f910d285c91fc0e733ea8675f85a7032da975e","datavalue":{"value":"data flow semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$846B9740-73B9-4F71-96A2-4ED390531E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$B78513E2-D3FB-40D0-ACE9-4AF10DC49AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a87a4a6533809af45185aca7e410e668c1770663","datavalue":{"value":"input-output relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$B692030D-19D6-4C66-B005-1DAD1F1E6E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55178cd4b31782df09368f939411d689c9f77fa1","datavalue":{"value":"partially ordered multiset of input-output histories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$3E4B41FE-53A6-4961-AEB1-509A0ED6FD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95108098a38c27ffebc269c87d55c79a9382569b","datavalue":{"value":"Brock-Ackerman anomalies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$70B57D28-10D7-442D-BDC0-3EBB4ED44DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fed26b174dcc53333d9ad002c827480909babd1","datavalue":{"value":"asynchronous processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766815$6DB60424-E16A-4204-BE28-2581B1D705B1","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":"Q3766815$B2B7275E-F131-4337-B6A5-4DB267BCED26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9132eee282a881c7a939d32711975295501c82c7","datavalue":{"value":"https://doi.org/10.1145/3149.3155","type":"string"},"datatype":"url"},"type":"statement","id":"Q3766815$F95C32AF-8848-41FE-9017-140B3FBDB9F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c468aa9888ddc93de57698cb094880400a2fbb37","datavalue":{"value":"W2028621470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766815$93372F0D-570D-41F7-AC56-9BD99DE63A46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7c0a268193c38522f67d265739a1d7b1ad8433","datavalue":{"value":{"entity-type":"item","numeric-id":1183593,"id":"Q1183593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b91e92b649a05fd8ae4fc41ec16e9439d44ec2","datavalue":{"value":{"amount":"+0.848587691783905","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":"Q3766815$58D405E3-7672-486B-B99C-8559C9A3DCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ec5b1fb386b32b2216d02b7765abf0704d3812","datavalue":{"value":{"entity-type":"item","numeric-id":1081296,"id":"Q1081296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4cbfed2f434fc03bf56fd51d2074ef193eccc90","datavalue":{"value":{"amount":"+0.846455991268158","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":"Q3766815$6DAFE703-6D00-4EB1-857E-ED5B425D09E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed33502b58719cd56aff938d3e7bd450a7e1bda6","datavalue":{"value":{"entity-type":"item","numeric-id":5505594,"id":"Q5505594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcc8efcbd84592c6dca07d7538bfe5670ecf279","datavalue":{"value":{"amount":"+0.8142133355140686","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":"Q3766815$F67FC622-C953-40A3-B879-32361199C6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc6b539630095a5fee8986bae6bbac6c1e706b3","datavalue":{"value":{"entity-type":"item","numeric-id":1095640,"id":"Q1095640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d779bfe547ff1b524829178d9803a4d315a142","datavalue":{"value":{"amount":"+0.8001943230628967","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":"Q3766815$05509808-E806-420C-BAE0-5DC764C9BC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08f57c869f9a3ff3aafe59cbc0f406e02f41782","datavalue":{"value":{"entity-type":"item","numeric-id":3713578,"id":"Q3713578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8416ab5811f0d0abc823c2b2b08cb5aec4c386","datavalue":{"value":{"amount":"+0.7971086502075195","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":"Q3766815$89D401E7-2AAA-4589-BA52-A33072C82298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3766815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3766815"}}}}}