{"entities":{"Q2496297":{"pageid":2507040,"ns":120,"title":"Item:Q2496297","lastrevid":49876606,"modified":"2026-01-11T13:01:26Z","type":"item","id":"Q2496297","labels":{"en":{"language":"en","value":"A Kleene theorem and model checking algorithms for existentially bounded communicating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040348"}},"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":"Q2496297$3C37167F-594F-4282-8BC7-A8D8C7E1160D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff8cab7afffa74a8dd0a289a7bb62f013be50e2","datavalue":{"value":{"text":"A Kleene theorem and model checking algorithms for existentially bounded communicating automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496297$B604C496-E40E-4829-9F4F-C273CE3359B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d67498d34338f15e11cc4793c45d9d23e47b291","datavalue":{"value":"1104.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$00DFC3D1-EEA8-4E4F-B5A7-CC6C7AE3B78D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c25692d5864b09581ae766555ef6d0e63eb5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":436615,"id":"Q436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$2F593465-145B-44CE-B62C-DFB1E5EC6F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$1A208AB9-F1AF-45C4-B343-6F718299890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$C82388E2-7BD4-4E81-B907-62584C435930","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":"Q2496297$97093B14-ED91-463B-8B24-FDED08DD5815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496297$8AD5A505-EC62-4EF0-97D4-38DF9EE43793","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$7E75EC89-0446-4674-BE05-9BAB4737B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$EF574C5C-7C1D-4A8A-A3F6-9E47DD835983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$81693006-EF5E-4DF1-999C-AD3E9B06F65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$70BAAAF0-0E57-492A-AD1A-E870F416AB85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17f5cf13ec1ff1e1a1b49d139ea71e5018ebed2c","datavalue":{"value":"5040348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$85589E5C-0F33-4DE6-A047-54D69331BF0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f3393ee1bf5e04c83e196aa8891cae0cc3cb71","datavalue":{"value":"communicating finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496297$F16DE7B5-D2F2-4471-976A-88E9FC8847F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496297$78BAA7A7-A07B-45F4-9D70-123FB9E596B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496297$83FB0438-8B3C-4D02-BC40-B6907F609D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496297$C864BF8F-5881-451D-8869-5DC54517FF61","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":"Q2496297$6113ADBC-92E1-4CCE-B779-DD40D718E6EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06d08716d9673368c574d207f892efa4a1eb95d0","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496297$2F7055BF-3D7E-4C12-A01D-F20A3C152ADD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e9083bffb7d3f3085dcc1a5419a04e2f669d86e","datavalue":{"value":"W2044184458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$44659045-86A2-4DE8-A66D-155FB33E0452","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$5E17F315-C5AE-4828-9786-682BF5F20C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$F6A56683-A195-4E75-8C60-6707074E8888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$07FF7E37-930F-4371-90E1-C0897F19EA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6057380bfa6c324246d128e949dcacaf97a03094","datavalue":{"value":{"entity-type":"item","numeric-id":5311471,"id":"Q5311471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$B1E52C53-006D-4B02-AA78-65D61CE42B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$DAFCBC27-E952-461B-89B6-9EC128F1EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d82147a59885a4bb491b402567e198ff80dfb2","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$3953E209-83C8-4FA8-9A46-526E7348D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$55DB473E-5E64-4ACD-AAE8-28DFE3AD2E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f72e649cc1f434125c8fb4e3befb6685036fce","datavalue":{"value":{"entity-type":"item","numeric-id":2769610,"id":"Q2769610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$0E503ABD-DEDA-44E4-89A8-A311609B457F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c34147ffd6c06a9dd1a5280776b0af56a634c68","datavalue":{"value":{"entity-type":"item","numeric-id":4737197,"id":"Q4737197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$90646D08-6651-4FA0-B2A7-013EA49A5C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$77C5460F-9674-43CE-A049-C66C49DE793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c706cf525e1e8895186e5fdf1a56f877c4c63f","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$8A6CC663-D20C-47A7-BC97-DEC2728BD198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcca8078da70cd6b86300469ed5634daa3f58a6","datavalue":{"value":{"entity-type":"item","numeric-id":1881218,"id":"Q1881218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$7F5922B3-92A9-410A-BB11-D4FD11ECEC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473aa304baf361e149425e869f5779e25a617dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5308416,"id":"Q5308416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$5BEC3AD6-07A1-4579-9DF6-DA13A6BCCDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$DFB9AA4E-45EE-4964-876F-2A5195C73AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434264a0a69e6edfaac74758bdb1a1a6eaaeed73","datavalue":{"value":{"entity-type":"item","numeric-id":4736868,"id":"Q4736868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$8035D1DC-A2DC-4738-A2B5-8DCF48812375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decb4737ef9605c600f3faacab42ab1687d3b246","datavalue":{"value":{"entity-type":"item","numeric-id":4535064,"id":"Q4535064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$073EC489-D1C6-424D-AA9D-6D1A98907079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8421bf31d8b0704e96001f7467f1d058f77af7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4474224,"id":"Q4474224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$20503188-F833-4A70-84E4-529A9B7C293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18ab676636b97245c873cb4e3d5b1cf83e630a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$01E4FDF5-1DE6-41F9-8699-D8FDFB581973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03614393cfd083a0ec1d904cd9ce50b0636d0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1853078,"id":"Q1853078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$288AED44-626C-48D9-BAF8-46CE0113A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496297$FF6592E9-D811-4500-A944-F52F7725FB9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dcd9a71eff567f94e5c61b22a30c179bbd46d70","datavalue":{"value":"10.1016/J.IC.2006.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496297$D592066A-2594-4602-9279-3C01486A14C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48ef26ec33055bda9f3a94de841ca4018646f17","datavalue":{"value":{"entity-type":"item","numeric-id":5711975,"id":"Q5711975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bb91a433619866a61359bac000501b4966a9ac","datavalue":{"value":{"amount":"+0.9060832262039183","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":"Q2496297$98EA9818-3F66-4140-8C85-F08FD8C9D5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c963e23b50912df180fd46132ffafe96bd57fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5431917,"id":"Q5431917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d44ec05b0db43f185e69c9d91f12c95a7429f41","datavalue":{"value":{"amount":"+0.7825053334236145","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":"Q2496297$D49FAD86-5139-4B9C-BAED-83113031EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e970356126d19a9ab19e29b43d570aad57b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2978552,"id":"Q2978552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907c28be80805eaf2f31584f8c2c940f990f271c","datavalue":{"value":{"amount":"+0.7340124845504761","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":"Q2496297$703C82C0-A60E-4051-B51C-3D1816B81BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ac0d39f8c880fd391e168e460b72e1bd8fe15d","datavalue":{"value":{"entity-type":"item","numeric-id":1819939,"id":"Q1819939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc41edb62a62f780bc6cbc3e19c5f98d9b27e10","datavalue":{"value":{"amount":"+0.7337207794189453","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":"Q2496297$3892B1E6-ECEC-4914-9CAE-B28B9376EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a196d9c5f3bff794461cf0bbea2064fec39a530e","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c747568aafdb0fc5390b388fbb0ab0ce02a353","datavalue":{"value":{"amount":"+0.7298806309700012","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":"Q2496297$090FDBB7-2C59-476E-957B-5298492E1C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2496297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2496297"}}}}}