{"entities":{"Q3535609":{"pageid":5565513,"ns":120,"title":"Item:Q3535609","lastrevid":50492666,"modified":"2026-01-14T04:58:27Z","type":"item","id":"Q3535609","labels":{"en":{"language":"en","value":"Separability in the Ambient Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365476"}},"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":"Q3535609$42F2391A-1F2F-41A7-893A-B23EF0467399","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f317f42c9232d436dd0312b62f9e6ce3038f74b","datavalue":{"value":{"text":"Separability in the Ambient Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535609$D36673EF-09D0-4FF2-A612-EB3721EFFD03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89ca82b913030367a8102bb4a9e72acdca8f1676","datavalue":{"value":"1151.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535609$F5B5EFF9-D9AB-41F0-80DD-0F06176C2168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13090db237e4b86463af0867fb15a101f49db8d8","datavalue":{"value":"10.2168/LMCS-4(3:4)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535609$7CFE1655-2822-44A1-95C6-97E5AC769F3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535609$5C63D282-8FF5-498B-ACD5-F90C5791C940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535609$604860B6-57FB-4135-B53E-1A65391D1EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535609$9272BB5E-7865-472B-80C4-2C989433DA50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535609$0132A842-3C63-4021-B495-60DF53C8D546","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-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":"Q3535609$6B0D2C7A-4237-41D6-8D50-D5E6E0A3B959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535609$2974A19E-2D14-4CB2-9036-EFF65BA8FBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535609$D0511BB1-912A-4935-B4C8-1ED41FC1BC03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"058698731f04fd6a06d05116eaba90b5d2d7941b","datavalue":{"value":"5365476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535609$5BA5DAE4-8CF4-4BCF-9E68-6B7991A1EB18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b75031a1cf54d949005c32849d5812512ad559","datavalue":{"value":"Ambient Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535609$C6D0CD08-EF04-4E68-BDB1-8E9410AFB115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc08d9f14cd837da27fbe61c73370d88d44e703","datavalue":{"value":"Mobile Ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535609$7554864B-4D5E-4932-8AB9-4C5030C81DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c460b570025c7217d42d31a3d7ef9ce2f5abec3c","datavalue":{"value":"structural congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535609$5C96BD38-FB9B-4065-9D79-7F8469F67984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535609$1FC21BB2-6EDE-442C-BAE4-48CC1D29DF1B","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":"Q3535609$FCE8A35A-5374-45CC-85AD-5A2A00FAD812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ded5a2eb5ad840140abb6ee434382d546eae6ab","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(3:4)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535609$41DE5314-5FBE-451E-9D8F-D15DFDA37D52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8f2789db4208fbe250cbbc60c8f0cadbf6d79a5","datavalue":{"value":"W2157410247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535609$E17B4593-AD32-4E43-BA02-BD7100F1D7F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea9ca08bedf8c34e5a091e2ed1dc442c9912437","datavalue":{"value":{"entity-type":"item","numeric-id":5310656,"id":"Q5310656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51112256f185855793354abea57c1d167c9088f8","datavalue":{"value":{"amount":"+0.8655935525894165","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":"Q3535609$9F13B651-7C01-4736-A1C4-AF39144CF13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516797786fe111909f99196997f655ef22e681a8","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ff43035090c170953a4b65eae142d4c2b9b858","datavalue":{"value":{"amount":"+0.8346385359764099","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":"Q3535609$BCFFF833-2726-499A-B1E8-F4F260A8F65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2434cb14887deea5486bcc75498553508ac9097f","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f435e55f142626bf867b83c1503f37e0b197bb","datavalue":{"value":{"amount":"+0.7766075730323792","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":"Q3535609$9D4B6EA4-2FDB-4FFC-AE45-56DF99A7D878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1725feaf53bf8d1375b89f093885a013eaaf4f","datavalue":{"value":{"entity-type":"item","numeric-id":2844811,"id":"Q2844811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f435e55f142626bf867b83c1503f37e0b197bb","datavalue":{"value":{"amount":"+0.7766075730323792","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":"Q3535609$CCD7C649-8675-4B5A-80F2-F91FB1941CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44f0f0b41fca00cb07169583428d5ca6e91c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2844039,"id":"Q2844039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b822b276543f45d26226a4acd40eaa8cd849c5","datavalue":{"value":{"amount":"+0.7743080854415894","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":"Q3535609$161834F4-1C34-4E31-8548-83723BCB0155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535609"}}}}}