{"entities":{"Q4630295":{"pageid":6659877,"ns":120,"title":"Item:Q4630295","lastrevid":82162295,"modified":"2026-05-06T20:15:07Z","type":"item","id":"Q4630295","labels":{"en":{"language":"en","value":"Local model checking for context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045146"}},"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":"Q4630295$BC0D006B-6F68-4E6A-8DEC-736EE34275AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1743b0650ceac78d04ca1cbb0cc2cfc9c18db81","datavalue":{"value":{"text":"Local model checking for context-free processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630295$88B1D3D1-66D9-407A-BF0F-35E938B5FB29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1175343a6e42256b3fd3a04711f2e59e951b2a28","datavalue":{"value":"1422.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630295$57736CC5-B1B3-427A-9346-4A8BBD11A711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30a27951f088898a68b4ee74a23f84d4648b798c","datavalue":{"value":"10.1007/3-540-56939-1_105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630295$CE21834D-4373-4BA9-B141-3F3B73746B8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529befe38d0a6ba09412eb0a1deff4d2b35f1d09","datavalue":{"value":{"entity-type":"item","numeric-id":3442636,"id":"Q3442636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$A61BC95B-B64C-49AF-9413-BAD9D392BCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$DFB27451-9249-4584-920D-2828719667BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$BE41274F-D8B2-4547-A87D-3E66099E9163","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630295$D10C8B5C-6C8A-476C-9F5C-158EB9100291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630295$79C134C8-F198-4EBB-A32B-D3F9F0A2B855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630295$C8C272A3-9931-4237-8866-1320BD21F912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddb39f9ef153b6f2056e3431f87f6057bbc53941","datavalue":{"value":"7045146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630295$ABE5E327-CA6F-4322-B487-17B36A1D0F45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630295$1942DE71-5A2B-41B4-BF29-BA1412227045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630295$13434124-A3DC-4C58-A565-DA73F9DB0D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630295$D504C392-E6B0-4FA1-8470-C5191F99CFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdacb2e7a9535d6ebb9f4c2fc191ddc4ab98b28b","datavalue":{"value":"free process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630295$9E0007B7-94B1-4A7A-99ED-28C4F3DF38F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630295$48CB340A-C0EF-427F-8D4F-1E7E2C2262CC","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":"Q4630295$6BD45E98-4E90-4B7F-8E64-1CBE3D9D7CA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a5a3de9b2534630baf056cff1bac97c3044ea85","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_105","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630295$FED51A3C-1546-4DA2-819B-2DB270C72BA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c27de5e5cc9859567af2b4436baf321118e52696","datavalue":{"value":"W1571376505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630295$BF632820-B1FB-4DB3-A7DE-5E9AD8E888F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$01A59E5F-1061-4C33-AED6-A2C437BC6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$D9D30804-F07A-4252-823A-719489438DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$72276D0F-21EA-4C8D-88FE-DDC0E730A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$5B483A9B-66D9-4D62-8EA8-24F43F9B6184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$618F7E77-BDC4-4292-AB43-68EF1F29AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$5A7839C1-5E70-40EA-A9CA-ED6560CD754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$81140911-0D42-4B9F-91FE-C1429EE3AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1046b50af51c3932f3f883ecb7513f98f95e421c","datavalue":{"value":{"entity-type":"item","numeric-id":3033311,"id":"Q3033311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630295$896B3CAF-6D24-429E-BB2A-E63C71EEBBA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1223bf56fcfae24476937a6afba92c507eeae72f","datavalue":{"value":{"entity-type":"item","numeric-id":4764629,"id":"Q4764629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20eef2ef0fee5a438379b87773e6cee1fac60bcf","datavalue":{"value":{"amount":"+0.9977815747261048","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":"Q4630295$212E1FB9-5640-42BA-B7C0-838612ECD8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cdbe4617ec84b6650aeef07260da7d2f4b69ea","datavalue":{"value":{"entity-type":"item","numeric-id":4501584,"id":"Q4501584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1fe9e044c6c9ff0d32a50a0d77a461a9863b9e","datavalue":{"value":{"amount":"+0.8445987105369568","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":"Q4630295$0D9058AA-DEFD-4795-8CB9-E893FBEE80B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d175e0292e02a95fb9e1c2b84c88f4da7d7c55","datavalue":{"value":{"entity-type":"item","numeric-id":3510785,"id":"Q3510785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97367489d7ebec8b4f3a7e55327abd58d1b8b8e2","datavalue":{"value":{"amount":"+0.8438299894332886","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":"Q4630295$5437D773-F205-4644-857C-2769BBEEE4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963bb532a82c4d8a024c74d8826df7654fa373a0","datavalue":{"value":{"entity-type":"item","numeric-id":4364391,"id":"Q4364391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67abe34f6dbbf7ace8af16f62e739f89959dd41d","datavalue":{"value":{"amount":"+0.8424546122550964","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":"Q4630295$5CDEEE35-FA66-4B90-9EA7-5F34A2CFB7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8285b45c595f5829ec6c3b3879c2bb3208b5999a","datavalue":{"value":{"entity-type":"item","numeric-id":3552516,"id":"Q3552516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba05b5f4686cf102e27405718db4440ebf7674e","datavalue":{"value":{"amount":"+0.808104395866394","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":"Q4630295$3A4EE1EB-8D47-4BF9-BEB3-78A0BDC479D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local model checking for context-free processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_model_checking_for_context-free_processes"}}}}}