{"entities":{"Q5262976":{"pageid":7292552,"ns":120,"title":"Item:Q5262976","lastrevid":100678772,"modified":"2026-06-05T22:46:52Z","type":"item","id":"Q5262976","labels":{"en":{"language":"en","value":"Confluence thanks to extensional determinism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457610"}},"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":"Q5262976$18B398A5-15AF-42EB-8368-C1AC8B8587F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf3383bebb1015acb6ecacdb7935830f3fa88c0","datavalue":{"value":{"text":"Confluence Thanks to Extensional Determinism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262976$2FAAF74F-F399-4871-8DCC-9F325826907B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c3d60e2f5444814b5900919df4cf493539a3eb","datavalue":{"value":"1316.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262976$A2799C55-C3DF-4C62-AF78-E004E8156D2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$15F28AA3-1E8D-41A6-A7B0-23A821D65E61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$6A524BB3-F687-4509-85C8-3B398B7FB430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262976$2FF8330A-8BA3-461D-8C29-F7E1E805CE72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262976$05B12276-DB47-4162-8A36-5996E47EB617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61b8d1cffee5bd15674d8949762a09a77225a016","datavalue":{"value":"6457610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262976$11403034-2DE4-4D9D-AF8C-FA5FCF9E1B1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262976$C29D346A-0955-4F04-AC52-326BE3D6380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262976$F0AB68AB-96F7-4E2D-B6DB-F002F01F892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262976$5CDCC09A-5895-419D-967D-F5773CA5BBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262976$46A115C0-5C10-40C2-8B84-63381666AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262976$A66A5DE3-D6E9-4028-B647-46148273D100","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":"Q5262976$FEC6403C-57BE-4C6C-B339-D014F821F4A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bd68d9c628fb6b72cd426d5a0d01d7daf2c8a3a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.098","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262976$70D15467-A92A-430F-9BC5-A80FF2E90B75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c0d53025ce837f306c4a3f6da9a300db8ffece","datavalue":{"value":"W2140380236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262976$7B353BA5-0199-4924-8A18-49CFB0E671CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$DF35B427-DCA6-472A-B731-2BA62E98DE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$C312E572-9F00-4AD4-B588-E9F223E0D0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$C0A10659-A103-4AC3-B2D4-62656246B4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$8F086713-457B-414D-9C64-3CCE7C8CEFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$F62D4398-9F9D-4473-8F22-E5DE3B83EB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262976$3D09B153-1E0C-4B82-9A2B-57CA7D576266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fa65f9bb6cc5492dd71cabcddbb7cc2627302cd","datavalue":{"value":"10.1016/J.ENTCS.2005.12.098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262976$67302F05-665C-442E-8EFD-95FD5839494D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0833e484117f505c3e334ba8f871fa0f72e805ba","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5583d2ca7011e826ef5c9d72c39df70b47d79ba8","datavalue":{"value":{"amount":"+0.7493253350257874","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":"Q5262976$6A075C91-81AD-40ED-9F23-78FDF480C7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b9d532769afec1f9056fe3bfa0fdb0b59d7d26","datavalue":{"value":{"entity-type":"item","numeric-id":2638769,"id":"Q2638769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e3b8d67a314c0376ed5dd8712292f868494216","datavalue":{"value":{"amount":"+0.7213708758354187","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":"Q5262976$61138834-A969-4E4A-AECF-8FCB24938C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b36b35e641e84838cd5d067bfc59246c690f4f3","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfe53229bc17256614700f274b812cabe544820","datavalue":{"value":{"amount":"+0.714529812335968","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":"Q5262976$9756FD44-5315-419C-A3A4-BDF5CAA30E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47062ca5dae88fff07b5068544842793c5fa7ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3982059,"id":"Q3982059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6ee9e3aab3310e2b9ce63de6748cfb8bb2fdca","datavalue":{"value":{"amount":"+0.7008371353149414","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":"Q5262976$A6C1BBF9-87AB-4E1D-B93C-D8C19B056B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e11245a08e03671c3cfe26907a1ec38ab8d23b","datavalue":{"value":{"entity-type":"item","numeric-id":1194329,"id":"Q1194329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6ee9e3aab3310e2b9ce63de6748cfb8bb2fdca","datavalue":{"value":{"amount":"+0.7008371353149414","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":"Q5262976$6C33D7EF-3526-4BA1-AC0C-FA1E3A75D532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence thanks to extensional determinism","badges":[]}}}}}