{"entities":{"Q4542148":{"pageid":6571740,"ns":120,"title":"Item:Q4542148","lastrevid":47952487,"modified":"2026-01-03T04:20:03Z","type":"item","id":"Q4542148","labels":{"en":{"language":"en","value":"Region analysis and a \u03c0-calculus with groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775026"}},"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":"Q4542148$CE591BA0-FC9E-488C-9E61-794D20E9D305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d939fbf68fa81651ebf8b1c5f199c9884a5fe195","datavalue":{"value":{"text":"Region analysis and a \u03c0-calculus with groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542148$EF8B25C9-59F8-4B2E-A34C-171277112ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c1d10b43ee9e36481fee03a69bf7f3c6e28fa43","datavalue":{"value":"1005.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542148$6C877CC7-E0CC-41E1-B8C9-3F162BA86AE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04ff24be098524cec282827961a4256fe372f319","datavalue":{"value":"10.1017/S0956796801004270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542148$0CC92586-2F72-4DD8-8F22-D46EF6435117","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0abdcf23e4efad91f7981d119437b265cc4740","datavalue":{"value":{"entity-type":"item","numeric-id":832011,"id":"Q832011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542148$3B94516B-58E8-4AD1-B002-464CE9DE1248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542148$6258A04B-8817-4895-B694-579550F73754","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542148$FABA783B-242D-4E48-824D-5B2A7DF7B2FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee4012f63d8c0386b5e585353e232cad4e813fb5","datavalue":{"value":{"time":"+2002-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542148$6E0F6326-9323-4FD5-BDEA-E3025EBAB375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542148$A8D51A32-69F9-4278-8950-04E647A9A606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542148$C13A012F-76A5-41C9-A6F8-684D70F803D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99b35a20022521b1d8efee29202680d8d78d2682","datavalue":{"value":"1775026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542148$3D26E326-12B3-4C7F-84B0-8A0F4B93AF78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53953078d2684b871dff4af5371c5174b168466","datavalue":{"value":"typed \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542148$A75184FB-9F58-4CBC-9D19-18ABE874E343","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542148$1DCAC706-CA8F-4079-B2D3-51C5985301FA","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":"Q4542148$7B26808B-5078-45BE-8B4B-7D68279FE700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f893f66581409572b90174b022c77355cc827326","datavalue":{"value":{"entity-type":"item","numeric-id":4536340,"id":"Q4536340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acec8700b387ad5ade48570acca37622c9fc445f","datavalue":{"value":{"amount":"+0.9942550659179688","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":"Q4542148$E1477AA7-7B37-464A-B36B-68597700B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbd12ee2edae4f2e5ee46d561a7efa2e1fc7808","datavalue":{"value":{"entity-type":"item","numeric-id":4921505,"id":"Q4921505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cc3e3867f1354ef6209dfe21ee08fb3e95d770","datavalue":{"value":{"amount":"+0.771117091178894","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":"Q4542148$67CA4623-CE2F-42CB-B766-07A66B2ACE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880d310ee92ccb53413e8b36e86b9cfc8683d61","datavalue":{"value":{"entity-type":"item","numeric-id":1854515,"id":"Q1854515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccf2f204ec37d83e6760221312881815c17a7c8","datavalue":{"value":{"amount":"+0.7644011378288269","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":"Q4542148$B32BB9DB-0445-41BD-AC1B-A4A13F2502FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5401ff275df95f9a39aaf8d812cbf75ba8b759","datavalue":{"value":{"entity-type":"item","numeric-id":5178882,"id":"Q5178882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8718e09271bcd4fc0ac746a21466b6a4f34b40","datavalue":{"value":{"amount":"+0.7546340823173523","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":"Q4542148$F7EAB0B0-2223-4570-B1E0-CAF46120327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fd2c991f2c8ae28774ee346ec67dd74896aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":2386355,"id":"Q2386355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca0f6763b0c29ad7d245d30cad11aa9c76bbd7c","datavalue":{"value":{"amount":"+0.7297226786613464","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":"Q4542148$EBB546E5-2E72-4EB1-AFA2-F9571AEB3516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4542148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4542148"}}}}}