{"entities":{"Q3400622":{"pageid":3411325,"ns":120,"title":"Item:Q3400622","lastrevid":50897492,"modified":"2026-01-15T15:41:09Z","type":"item","id":"Q3400622","labels":{"en":{"language":"en","value":"Determinacy in a synchronous \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666829"}},"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":"Q3400622$0CB3FE9C-AA9B-4A25-8D20-4D7D6AA5064D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"690568d4d218a2108411f86b71a16802b54fe6ca","datavalue":{"value":"1194.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400622$33D5E91D-CC6F-44A6-B72D-2055CB6FD912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd247c0acecb03dbb649b71faee6e9ab6d53c45c","datavalue":{"value":{"entity-type":"item","numeric-id":864503,"id":"Q864503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400622$58E2C103-3E3D-43CF-8A19-A80040D2555B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f506a53c3a413a944e319d26458f1d30d0f680","datavalue":{"value":{"entity-type":"item","numeric-id":3400621,"id":"Q3400621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400622$E5DA5C18-6752-44EE-914F-81AC93056EF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400622$2445C649-F80E-4442-9309-A829A0473CDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400622$69219E07-0756-4C7C-82A4-D27B17B5C908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40093355493ac30655524b60477c3f8146fdc8ae","datavalue":{"value":"5666829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400622$4E2B8DCF-BAA9-4F2E-B36D-8AC70ABE983D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6d0798121618b485d9fdda7ec01677f6a411c32","datavalue":{"value":"ESTEREL model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400622$61C60EFD-38AB-4EB2-A60A-5E06BC2AF740","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":"Q3400622$67C5793A-D3FA-48FD-B8B4-66ED0690DF5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8427ce3f7ee5a70b2929b6ff93aac5700ccf170a","datavalue":{"value":{"entity-type":"item","numeric-id":2381508,"id":"Q2381508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef83bd6e36a6332eb085e2db215c56d13a894a0","datavalue":{"value":{"amount":"+0.8375559449195862","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":"Q3400622$5B200303-A128-436C-AD11-606BFF10B93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cff87274d8ebe92cf47ca2385968cabf0ed8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5448789,"id":"Q5448789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f48d88d90eeecb33501f413bb2f3f783977201","datavalue":{"value":{"amount":"+0.7913301587104797","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":"Q3400622$E378337A-9D3C-41D0-B44D-1EF8EBD57817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc9acb28684cdc966632ae55a3da023253d022","datavalue":{"value":{"entity-type":"item","numeric-id":4284230,"id":"Q4284230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e820aad0a407734319525608a7f288cc8c3ec1","datavalue":{"value":{"amount":"+0.7846400141716003","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":"Q3400622$BE3D9CD7-95E5-4D21-94FF-FE10E25BABC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be4f9eecea1a08bb85bdac7f9893790b49c3b38","datavalue":{"value":{"entity-type":"item","numeric-id":4965862,"id":"Q4965862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b92954232439e3a41e36723f3d3fea96ad1b0a","datavalue":{"value":{"amount":"+0.7581159472465515","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":"Q3400622$BB33FCA0-156A-49F3-8BBE-C2740E9C07EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881cd9bf70af28b8c24337f6b8fe920c38ae01a4","datavalue":{"value":{"entity-type":"item","numeric-id":3525646,"id":"Q3525646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c70dab184b82ba77d3bb6033632772ffa73e53","datavalue":{"value":{"amount":"+0.7542589902877808","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":"Q3400622$60D2516A-CDFB-402C-B16A-261B92314F2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400622"}}}}}