{"entities":{"Q5327487":{"pageid":7357061,"ns":120,"title":"Item:Q5327487","lastrevid":100780058,"modified":"2026-06-05T23:05:38Z","type":"item","id":"Q5327487","labels":{"en":{"language":"en","value":"Towards nominal context-free model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196396"}},"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":"Q5327487$76C024CF-D279-4D9F-97AF-2F799214FE11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"641480a89275715d5e0a0508b33620e08ea09a8f","datavalue":{"value":{"text":"Towards Nominal Context-Free Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327487$2F061C81-2A00-4DBD-B97E-7AB45E2C27E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"299316a2dd22cea152eabe575c7c7227e90c2236","datavalue":{"value":"1298.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327487$C5A2463F-E198-4D7F-BD59-169478468346","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4e66db667932b400f3262e61ed373b472c1466a","datavalue":{"value":"10.1007/978-3-642-39274-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327487$A9CA4FFE-AA34-43EA-B954-FABA3176FBCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bda6a4398efb9d34198c2d498b7c0e615e35270","datavalue":{"value":{"entity-type":"item","numeric-id":530217,"id":"Q530217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327487$FFC5B9BD-424C-4B34-80E5-59E07F8CC134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327487$6B049D0B-BDFF-4F34-BA4D-66FE0E6AEFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327487$3143D839-3340-45EB-B11D-B795455F1903","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327487$F59B4B57-8A5F-40EF-B57C-2DC470FF6D8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327487$9695656D-1AD1-4C7A-BC62-DE1A6151D880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327487$21DA3682-E728-4D1A-8659-F69EAF0169B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327487$5949B3D5-C8A6-4438-8838-82F05EB4B2AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5fdd2db3bd5d8aa27999434ec7ab7c1ed45758b","datavalue":{"value":"6196396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327487$1E941681-B044-461E-AE0A-D06E70663397","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":"Q5327487$C2F5B2A7-03A8-490A-A4FF-542D6ABC251C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d7bf8f94b00595b00ea82e03869f43b22715885","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39274-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327487$5B21786F-408B-4CE0-A920-B1335450C15D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d42c21733095d23b92cd55bd5fce09d2b84a413","datavalue":{"value":"W64421313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327487$1423C3BB-E6D7-4477-8A95-6EB860D275AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77e24e991f131579db8651097e995ae20a3fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":530218,"id":"Q530218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2df72ede06da73b056fdea0ee88a493399895f0","datavalue":{"value":{"amount":"+0.8447051644325256","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":"Q5327487$AD93C2B4-8FB4-41B2-9841-0C38E2E844CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf478abade378ae0e60dd9bb458eec1ee9d43704","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5914a46ed7933a4654aa2d02efd8456568ec7e4e","datavalue":{"value":{"amount":"+0.8434827923774719","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":"Q5327487$145206DC-5217-4740-A280-89D472C7C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975bfb79f2b50335170a935db17fa1f105dc7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2914700,"id":"Q2914700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5980bbc132d55a358e8a73dfee79a41b8447031","datavalue":{"value":{"amount":"+0.7621927261352539","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":"Q5327487$BD751696-6C85-4529-966B-DF3628872AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5adcb915fa6fc72ba4c9c94a0999c989f9c49c0","datavalue":{"value":{"entity-type":"item","numeric-id":2988364,"id":"Q2988364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4ed6d22b23b0362a5f8ceb75893a48c8f19f92","datavalue":{"value":{"amount":"+0.7478284239768982","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":"Q5327487$2D6117EC-FA97-4207-AF6E-57606DF333DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33de92247cca4205a2cf29c212dff398bed52741","datavalue":{"value":{"entity-type":"item","numeric-id":4630295,"id":"Q4630295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579fa5b4a853122e8b118532ab974d3c251d0f04","datavalue":{"value":{"amount":"+0.7352165579795837","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":"Q5327487$64D482C1-5027-4E86-8CE9-295151942FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards nominal context-free model-checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_nominal_context-free_model-checking"}}}}}