{"entities":{"Q1881257":{"pageid":1891999,"ns":120,"title":"Item:Q1881257","lastrevid":71046504,"modified":"2026-04-13T19:07:45Z","type":"item","id":"Q1881257","labels":{"en":{"language":"en","value":"A spatial logic for concurrency. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2106002"}},"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":"Q1881257$E81442A0-77A5-47D4-B040-EA4E039710E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31805bd642197851af5e6e8359a96226302bbeac","datavalue":{"value":{"text":"A spatial logic for concurrency. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1881257$890BDE48-4174-43AD-852C-497F48C08476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3370c1e36da7763c98b303f5875e25854b5d841","datavalue":{"value":"1050.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$47B3AD4B-C83D-4CDF-9877-F3FFAE3954D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$C2627CC4-0C5B-4A4E-B582-409C9711D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$CA08396B-BCD7-431E-BC05-D2ED9764D824","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$1BA11253-40E1-486B-9944-4020D33F81D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29de6f99438d78c87225620190e8157f855aeaa8","datavalue":{"value":{"time":"+2004-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1881257$BE4BF95E-3394-4CE2-913E-8B2066E019F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$4EF8252A-9B14-4981-81EB-4AB2D41DD26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$1DE5244D-69A0-4755-B7EF-D0079E203AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$C755627A-DA13-43D6-9C24-ECCD92FA7306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$778B9FDA-95BF-416B-96CC-AB5338DDC8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$2CC78BFE-4164-4702-BF3F-C6807490BC4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488f417d25d2d51590205ca52875447c1f1900ee","datavalue":{"value":"2106002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$6843FD33-7699-49F4-AE48-36CF57AD1454","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881257$8CC2A568-4450-4085-A7A8-7AFB1968CFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881257$07D80EC3-48D7-450D-8813-8E1AE8CF0B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881257$B352C84B-40D6-41AA-A2D8-B4BA8AAF6FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881257$2E9007C5-7273-4BCE-972B-133506345E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881257$3897E567-0334-46F8-8B15-81095CCF15CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$A37F0B2F-F0F4-40DF-8274-42B1CB1BCEF1","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":"Q1881257$A8721BF3-372A-4ECD-92B6-A7A8D3374336","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19cf394bf1088e654f5aa4d66ae0bff1995da30f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1881257$97B20B30-075A-4FE3-8975-76E6B7106056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e4a41a6a2fdc115f05f6cf409b26fe1b1eb505b","datavalue":{"value":"W2073222985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$EE4B3369-5524-48FE-AE71-5D5D5140EF0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bea7c8f5ca27d004cc69745696c1c30353e0eb76","datavalue":{"value":"Q56982084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$E7FE0E94-56EA-4931-876B-1EB50A5795AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$B538450B-B61B-462A-BE7F-3022B46DBDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7319e933ba15aa6f8a1d39375a8d279be83de2","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$D1A24455-F0D0-4906-87CF-C73D7FFDCE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$1D08153C-BFBA-4BA6-A15E-50B56DF4E128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507038406dd5427cbe447a50c2fccf66314e1457","datavalue":{"value":{"entity-type":"item","numeric-id":4737192,"id":"Q4737192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$124B010D-EDA3-4E01-A09F-7C4AC6E920A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543dc422b5668e3887aacfa58839071e9ea6dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4417861,"id":"Q4417861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$BC3730AA-15B1-45E3-9C28-0951F44846AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafb20e848b55dff1b955613627b4dad19b3832","datavalue":{"value":{"entity-type":"item","numeric-id":2763663,"id":"Q2763663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$BFA9FE4E-022B-4184-AF4E-9AD82A471968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$0C69808D-197D-41F9-92A8-207483F29D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$AF3ED0D0-C1B3-487F-81B2-A782385AE7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b659a64d64fcc84f5a1ad960c1f4f10079e5da7","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$3438AAC6-7FC0-4519-9DC3-27E8C23A7184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$9B380706-5520-4534-A231-BFA743E9F358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce59db71ecc9f96adbd4ed94fb42a11a024d12a","datavalue":{"value":{"entity-type":"item","numeric-id":3535609,"id":"Q3535609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$5872159D-03A4-49A9-B6A6-D03B21B97ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$09DA62A0-A12C-462A-BCF9-BDE3973BA794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae1ae279a482446bb78d37be8963f369d811b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$7B5A78B7-6C6F-4C8A-AF4E-EF8BAAA52BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$C74158DC-99D2-4C8E-A80A-E98F9AEF9D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$4A13E8DB-8A4B-498E-A5CA-336B93B5CD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881257$66B32ADD-20E2-4611-A6F8-D0A529BC5A60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f6701ec908fd4a6000d5abc9238e54adf24842b","datavalue":{"value":"10.1016/J.TCS.2003.10.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881257$7C1BA346-4BB2-44D4-9ECF-6BB99A94F1C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d245440d6e7b24402aaf872d7e44f524f66bc750","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e953cdadf0763181e5452adc3edab70a03f40e","datavalue":{"value":{"amount":"+0.94297993183136","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":"Q1881257$47A6CB2F-126A-46D9-9147-1B6C40B6577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6058e7212ccf794faf9b9f961b1d53e712b8c26","datavalue":{"value":{"entity-type":"item","numeric-id":3502660,"id":"Q3502660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e953cdadf0763181e5452adc3edab70a03f40e","datavalue":{"value":{"amount":"+0.94297993183136","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":"Q1881257$F44019FD-61FF-4E85-AD5F-D47C1E007DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4423e52504676f2d9bf4ca9891774bae9807242","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823c8a5619c4206283b5877c2e1138f9c965dbd2","datavalue":{"value":{"amount":"+0.8804029226303101","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":"Q1881257$FDBFD3FE-A8C3-4D34-A506-724F8628F5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b817a2eed72390eb554ea359de283e2154f858","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dcbc19c5cc1ae2cd575a654c614bab430620ce","datavalue":{"value":{"amount":"+0.8790839314460754","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":"Q1881257$1B27DC57-97EE-4C57-9506-B5F8D8C8BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8d271643e00d66cb5e1383ba626ba5989b0f04","datavalue":{"value":{"entity-type":"item","numeric-id":3541032,"id":"Q3541032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed703e933c1333c1564b38191e4f9510e28c402","datavalue":{"value":{"amount":"+0.864808201789856","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":"Q1881257$7DFCC456-D9AE-45F8-8D51-C659D85D65D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A spatial logic for concurrency. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_spatial_logic_for_concurrency._II"}}}}}