{"entities":{"Q2866349":{"pageid":2877069,"ns":120,"title":"Item:Q2866349","lastrevid":79683071,"modified":"2026-05-06T14:28:44Z","type":"item","id":"Q2866349","labels":{"en":{"language":"en","value":"Extensionality of spatial observations in distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238207"}},"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":"Q2866349$E1B7C8BF-AAEA-4663-9C71-ABB985271E2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5ac25ba7743ac58adbde6c93d2feef1ecb3b66a","datavalue":{"value":"1277.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866349$A782A3FC-8DC3-4B10-B123-FAF6B43E3206","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":"Q2866349$F15D9FB0-73C1-4B17-A581-9CB39CB4968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2b0b5d78150bf277acb227481af0b32e386f91a","datavalue":{"value":{"entity-type":"item","numeric-id":315293,"id":"Q315293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$778AB7DD-7F48-4DFB-BCBC-4C433FEC1274","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":"Q2866349$11AFA4F5-EEBA-4AD8-ADB1-56C460AE98F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866349$CAFA2914-6EA9-4757-A950-5E42A0370D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866349$270B9B3C-7921-4BDC-B546-A6B315E9F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866349$11B04EE1-0D63-43A7-AA30-B94F61F7276D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225433866955ecead11c2f765565b48aeb4a5cbb","datavalue":{"value":"6238207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866349$7C090028-28ED-4E78-AFC9-FEDC7EBC0217","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866349$35E1F47D-F08B-40FA-8811-6C47F771140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae0adf7f2cfa793542162333ddbdb209d79ff119","datavalue":{"value":"spatial observations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866349$10BC2658-BDE8-47CF-9EE9-0A15B7AE8BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6164b90708edc61301ab03da8984823759888e","datavalue":{"value":"spatial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866349$9ABEC000-65CA-46EA-B386-14D7602A8F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866349$017F6380-1C05-4C0B-8BF4-D10601658118","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":"Q2866349$0886753B-33E0-4916-ADEB-8EC34C6DB04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9b7e16863df23104e9a85b1fe5d73346d8d7805","datavalue":{"value":{"entity-type":"item","numeric-id":21997,"id":"Q21997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$C7E8FC55-8EA3-4AF0-B713-732A0A21AF3E","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":"Q2866349$13166972-237A-4D67-B7E5-2D0C7EDC2267","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62119f018e9468dd720bd02b598af0b60dbf30cf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866349$5A91B56D-A3ED-48A8-A3EB-E5D3C9DCC26D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86c3ac80a66d7efa7ee0aa1ef0a176ad77f10781","datavalue":{"value":"W2029819077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866349$CFDDC4B2-1336-42B2-B172-EA53790480E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee120d4e718b95f2b9895bf5f8edc938f08a1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4470506,"id":"Q4470506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$77A8C0F0-94A4-4AF5-9C6A-ACDDA0EB3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e121a6b33c301ace58f34d91764af44f75a9323","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$7BAFFC23-8F38-47C6-99CC-F6EADC332E58","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":"Q2866349$F24910FF-CD6F-42EB-B051-58193F938927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485a7a6672dba1fc70c93fa2ba5b30e1d1d5822b","datavalue":{"value":{"entity-type":"item","numeric-id":2503043,"id":"Q2503043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$20158FBC-6C0A-426E-AEFC-6E864BB70E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b873c3134151dcd390bdd2e1968a00fcd8c90945","datavalue":{"value":{"entity-type":"item","numeric-id":2866349,"id":"Q2866349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$B1B0773B-AB60-450E-8693-A7AC37099532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$B599513D-EF65-407C-B61E-EAE2D45B0F48","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":"Q2866349$6E6E1BD2-80ED-48ED-B1C1-700A94C09B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4777ba67d503a24baf5f6da1bfdbe7fc15fa520","datavalue":{"value":{"entity-type":"item","numeric-id":2760252,"id":"Q2760252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$6E0ECCA7-6AA9-440E-AFEC-6D9AD1BFAACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729ab3878059b29b3618568b69ec01f40d429282","datavalue":{"value":{"entity-type":"item","numeric-id":5716826,"id":"Q5716826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$5C4783BC-1FD0-4C5D-AF97-8F39C765BC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7ca2b3a9f30936729faa4d05c16d753a7b250a","datavalue":{"value":{"entity-type":"item","numeric-id":5897495,"id":"Q5897495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$60F26EC9-1470-43E6-9099-B12DF19B497F","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":"Q2866349$674E9FCF-0011-4F88-BF59-EA950DCA94FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404f64e3ec048ef95a2659b7e9229c34a502aa16","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$351AF2CB-D6AA-423B-AB57-7AE8B24624C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3378751f7f748516dde2341c325d9b024a4a3744","datavalue":{"value":{"entity-type":"item","numeric-id":5191522,"id":"Q5191522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$DCA43F4F-63F9-47E1-9EC8-8375BFF86338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$C773FABE-3685-47F9-A61C-035C0369096C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$6DE04713-96AF-497F-B1C8-113B98B0E673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$C72697FC-D9BC-4D95-BD7A-1A4241FD04AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b25e1f9870e2fa30d4473980293c0f77342293","datavalue":{"value":{"entity-type":"item","numeric-id":5958774,"id":"Q5958774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866349$EFAF9F2F-5AA1-4FC1-8D07-1C607A6CFBEE","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":"Q2866349$44B1372B-30F3-49F6-996A-BAAF6C3A9F56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af1d213e2be79aa7c9ea389153a3a09e23d22740","datavalue":{"value":"10.1016/J.ENTCS.2006.10.056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866349$8BB2EA3F-102C-451C-8023-6AE70FC34EDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1b78440b0d1352a5d600eb6259ab5cc2af6e003","datavalue":{"value":{"text":"Extensionality of spatial observations in distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866349$AEA85A73-1476-45B5-A3BC-43B88B6F2840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85079dd6e395bb2ffb5b6893f2e218b07d605fea","datavalue":{"value":{"amount":"+0.7369292378425598","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":"Q2866349$1AB40FCE-1328-4B1D-8E86-25A0E0390F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cf888c9cbdd1ca8863b343b33f00a8dd680c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32dea0f7a42ca17f0133471577a022e67f56ae4","datavalue":{"value":{"amount":"+0.6789509057998657","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":"Q2866349$797E9ADB-423A-430C-B8A8-05979E2CF686","rank":"normal"},{"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":"b3c98daef277b2c142de396e994d70d590f4102e","datavalue":{"value":{"amount":"+0.6749473810195923","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":"Q2866349$2327FBF1-E45B-40DF-AEAE-9900BB049641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428ab980dbe46bc1607b3b6894d939c4a458d849","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c98daef277b2c142de396e994d70d590f4102e","datavalue":{"value":{"amount":"+0.6749473810195923","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":"Q2866349$1EF40AA7-B70F-427D-989B-16E02D1DE677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0183aa09aa67896853fc50f5ba5ebaad48075a","datavalue":{"value":{"entity-type":"item","numeric-id":3613068,"id":"Q3613068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a39cdff10139f68b7d4f05b5c4405d42b275abe","datavalue":{"value":{"amount":"+0.6736535429954529","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":"Q2866349$94432E02-6D8A-49C5-AB22-2AC80A3207A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensionality of spatial observations in distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensionality_of_spatial_observations_in_distributed_systems"}}}}}