{"entities":{"Q1817220":{"pageid":1827962,"ns":120,"title":"Item:Q1817220","lastrevid":69035154,"modified":"2026-04-13T03:53:12Z","type":"item","id":"Q1817220","labels":{"en":{"language":"en","value":"Model checking mobile processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 952339"}},"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":"Q1817220$1BD24119-2D2B-4C7D-A4B7-1172538F4C5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0a2721f0f7a865617117f9dcc9395b128ce6c7e","datavalue":{"value":{"text":"Model checking mobile processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817220$1C393FC3-B2C6-472D-B35A-364A1E9AD23B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06b7d3824dc93016f4480ce0783b1b9e2749dcca","datavalue":{"value":"0864.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817220$AFFE0E5B-2558-46B5-9A4F-ECE44458743C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817220$BBCA2AA3-CE7F-444C-8C69-F8B5E413F7B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817220$050E08DD-42DC-4F1E-9B01-216A356F1D47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8f57c2707c7d53eacf4022f5ee5ca93983fdb18","datavalue":{"value":{"time":"+1996-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817220$B4390214-5DF7-4722-9529-B1F438DFFBE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e7436b50213aa2701b5031c0c3b8bf548cfc656","datavalue":{"value":"https://semanticscholar.org/paper/54a331011df5f0dbe6d587f82fe98cfa6eaae6cc","type":"string"},"datatype":"url"},"type":"statement","id":"Q1817220$F03A8292-9D29-4D76-A2DE-53C6D256206A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817220$F7202781-1947-4267-AC13-7DF0B2CE58F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c3b92483cd6a8f4315cbea9855dd727c2d8fce","datavalue":{"value":"952339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817220$795CA198-A2D4-4A2E-8C77-D701C0375109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817220$C2F64FFF-A172-448F-B682-C9DE46B76029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc7ae9cf810887618a8c12c973f38665b7aa774","datavalue":{"value":"a temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817220$CA2D48D2-8CD7-4FE9-A473-BCFAB772E5F0","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":"Q1817220$E792C7AA-D6F7-4307-92FA-5C86DB5830D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"877c310e50fda9581d2dd1c5c456079fff859fc5","datavalue":{"value":"W1973627522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817220$D8EC9CE3-54A7-4228-A5A3-5B6CF704FF30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a693d006a98c7e7b57da9056d76b4b4a0e024112","datavalue":{"value":"10.1006/INCO.1996.0072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817220$943FDDE3-55FA-452F-A2B8-E3B8F94B4E96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ed1ff046149b21a3ec2c8d4a731f50c711513","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63604705f813d22e2919d8ea557e6c8496b0a40e","datavalue":{"value":{"amount":"+0.8291783928871155","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":"Q1817220$8E692B52-2863-42CE-B8ED-9BC45173737A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298b5d176af0e63c02c511d82ad0120a8f0fdc90","datavalue":{"value":{"amount":"+0.8256856799125671","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":"Q1817220$C2FB43EF-FAE9-4B82-ADA7-AFE51AED3611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e3a3298ca07d82d0008cd5d952ef9fb5c3b6a1","datavalue":{"value":{"entity-type":"item","numeric-id":4414384,"id":"Q4414384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a5d51899912a50c3ceeb67d12e630619d332fe","datavalue":{"value":{"amount":"+0.820204496383667","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":"Q1817220$C86E44E2-23F8-4648-8DFA-A164734D0283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b59294aad1c9c6f6822a771a956d4abc203753","datavalue":{"value":{"entity-type":"item","numeric-id":866088,"id":"Q866088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b761369b9767e98a49b80d364257d6f6e5e05e","datavalue":{"value":{"amount":"+0.8118358254432678","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":"Q1817220$F1DCF0F4-3FB1-4912-9B9B-E6EB3CE6BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251f20b556af2de2dca9c4ed82d006fa3b3a3029","datavalue":{"value":{"entity-type":"item","numeric-id":1884885,"id":"Q1884885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16faec8f639b5f025c4a2aea8046a2e08ca9d972","datavalue":{"value":{"amount":"+0.8068277835845947","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":"Q1817220$FF1B8DE6-14C0-456E-A82F-571DEA790421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking mobile processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_mobile_processes"}}}}}