{"entities":{"Q832277":{"pageid":834125,"ns":120,"title":"Item:Q832277","lastrevid":64675140,"modified":"2026-04-11T21:28:34Z","type":"item","id":"Q832277","labels":{"en":{"language":"en","value":"Model-checking structured context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498189"}},"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":"Q832277$819C80BB-F5D8-4A14-A954-9EFE9C92BEF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fda821e7687034f842fd3c36e7f283fbcfd0dc31","datavalue":{"value":{"text":"Model-checking structured context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832277$66CAAA6B-6BA9-400F-92D7-D785E54CDCB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94be72c62566b0810518599657e35ca546f2b7a2","datavalue":{"value":"1493.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$BD1E245F-FC7D-46DD-ADEF-27AF8D7742EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"310390f769b14c5085aab7b888ce29fd4ea05493","datavalue":{"value":"10.1007/978-3-030-81688-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$3147C52B-DE1F-4933-B16A-D3B3E4B15CB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c8515c1b785e5654c278b92d972b1672ace3b1","datavalue":{"value":{"entity-type":"item","numeric-id":832276,"id":"Q832276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$49AC9DFE-174F-4968-9F40-6CCB90159669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fdba189ce1dcf3dec02a20b242e7a252ee1a17","datavalue":{"value":{"entity-type":"item","numeric-id":530558,"id":"Q530558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$05EAD486-6B55-46B3-A818-DE7D47BF3B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7fbf2496e246569791b0f06bc68a82062b431a","datavalue":{"value":{"entity-type":"item","numeric-id":719246,"id":"Q719246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$B776AFC0-216B-4DDF-B4B2-9E487CA28E83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832277$78E03702-D3DE-4225-9CED-1A25CED34E23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$F08D5944-2B3B-46C4-ABF3-C439229C44E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$7E3614C0-9F60-411D-8242-AEE298F05CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$5B289C59-A65F-4E91-B789-0C161E12B211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27e72f007de2b4a65d27108d7a6b5ee406cb5024","datavalue":{"value":"7498189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$5B844AE6-2D7E-4876-A3DA-01A3E9F81702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q832277$E495A6BD-1F75-4BCC-B5E5-71E0421158F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f38e24b2c3a3875f856b5a22882b9a03eb539e","datavalue":{"value":"operator-precedence languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q832277$01BC22B1-412E-4B92-A86F-93B95E9ABE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q832277$CA2B9669-0A86-4BAC-A42A-72D7F3CCC11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7edc067c231fb0d474ec785414d027813dcbf37","datavalue":{"value":"visibly pushdown languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q832277$29307446-F569-40AE-A870-5E650F488F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9626c450541b8d63cc4ea412f25ce0e5d2342164","datavalue":{"value":"input-driven languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q832277$9C55AAD4-DAC7-4CCB-B566-75115D5A5FED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$3F0AEB8A-2070-49F3-9C80-F7F87E25879D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$FAFB673E-4A6E-40DE-9D61-5E5386E47375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2335adfc89d8601e0b8412f7bfaae88be05be620","datavalue":{"value":{"entity-type":"item","numeric-id":36102,"id":"Q36102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$AB07CEB9-D57B-4B6F-B104-A3BEB842FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$E231E5B1-838E-4B52-9567-CD5821B1EB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$EC1F5473-CEC3-4B4F-B61C-2A21AE8AC295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc7db9fe6c8c6099c02e7414e39dcc86c793f313","datavalue":{"value":{"entity-type":"item","numeric-id":44929,"id":"Q44929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$CCCD8555-E11B-44FF-903C-09FB0F479A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$12CCBC31-34BB-4B95-B4E2-38F62C36565F","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":"Q832277$E453AB94-73F1-4B8D-802D-638CAEAF616E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce6d187cd208afcab3934ae14e3cf4c5833c9b64","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q832277$10DF60F0-1969-424D-9F25-74EFEB0EE203","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19d9cb690bb09e8815f686d2db55da3a1b5a889a","datavalue":{"value":"W3185983707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832277$CB9EEC06-C88D-48D0-A2A5-0A5084648B95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$F9FD760A-E9B6-4184-9AFB-115D2C8920C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f134ae5a4000739c8f5fe16dfdf540ab01d298f","datavalue":{"value":{"entity-type":"item","numeric-id":3176375,"id":"Q3176375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$928760FE-6501-4CC6-9993-C61CB9E99CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$B711313D-3416-475C-BE85-DA828D431E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$D5FBAFA7-DEAC-40A2-AA7D-DADA9376AD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$FBF1542F-9039-4313-B641-C01B9603ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60cfa2493d22b1f6e30e78482c1494fed827bb","datavalue":{"value":{"entity-type":"item","numeric-id":5703796,"id":"Q5703796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$26421783-2F49-4CC3-BBBB-F4BD1B21315A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$C3EC53DB-9FB9-42D7-A197-E6BA580BBBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$62833770-CFCF-4C64-96BF-7CA29922D173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833c500a528c9d138c07be282d8c9aa8f5d7df13","datavalue":{"value":{"entity-type":"item","numeric-id":6162100,"id":"Q6162100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$C72A5805-84A3-4C37-83D3-4A247A8721D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82295c70de2e5049f6f3ab637d898cd0ab3fb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3384894,"id":"Q3384894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$D61EAAF3-6EDF-4B2C-BAF1-5A5BEFB8AF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e068afb0faa98d1c150844226e6b8fc7ddfc29e4","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$66486141-1BD2-4C8E-913F-35BDD404F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5354bbc72b7463906a1eb99270f6a5441bebefc","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$9BB177D2-2442-4B0D-9975-59AF9E61610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ad3f5504c73573dce8c050cc1f1f98662a8580","datavalue":{"value":{"entity-type":"item","numeric-id":703848,"id":"Q703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$82E8B1A4-99B9-41E2-AD1F-9993C9623D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3bb20b8b03fd6618bbfe75448eefe8708fa76c","datavalue":{"value":{"entity-type":"item","numeric-id":5447361,"id":"Q5447361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$A3CC84BB-453F-477D-B0F1-273CD98AE18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f7f9217c481952f862e15379acb4f0658645b0","datavalue":{"value":{"entity-type":"item","numeric-id":5703785,"id":"Q5703785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$2766C199-4C9D-472E-AAB9-5A7081FC95A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7b54786c183f1fd94939911f10c9d4f358fb59","datavalue":{"value":{"entity-type":"item","numeric-id":3384888,"id":"Q3384888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$B9E10DEB-056C-4D35-8515-AED9A464C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f0705208bd08bf365d8e849c141104487eec1","datavalue":{"value":{"entity-type":"item","numeric-id":2215961,"id":"Q2215961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$D736FBF7-13EA-492B-9E7F-6FE9EEDECBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$D555072B-738E-4798-85F5-231C85FFAD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a8f2452f27c781edb1cf0552265bced7521664","datavalue":{"value":{"entity-type":"item","numeric-id":1757840,"id":"Q1757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$50A35DD1-C7DB-4FFF-AD4F-E81298B2C505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$081ABF62-8E17-42D1-A289-50A773E46D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$0161008B-E301-4DB3-82B1-A980E08AB1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$7C3B8EFF-48DF-4C57-831C-CD256C2B52B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aff39c1b2290aa34005c6f3fd9e348438dfa64a","datavalue":{"value":{"entity-type":"item","numeric-id":5343340,"id":"Q5343340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$A2CA4121-1C5E-4B19-B775-A3BC0A3A4C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9f162f4a85a97b1a291ab01415512c0c6cffca","datavalue":{"value":{"entity-type":"item","numeric-id":5326327,"id":"Q5326327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$24B6A281-0641-45C7-84FC-0EE4AB801D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551dd0e7d5392840fa888f8996e13322c8f71a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5386261,"id":"Q5386261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$5EDFBD8D-80B3-4A10-923C-8BCA7A5A48C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$0F576EE6-E271-4699-AFD2-B90DEA2E9B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$1BE6B368-2497-4D7A-8EAE-5E732B95AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cf75770c4378a7060a1800d601a78571430882","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$DC69995F-914A-4DEA-9EC3-7AEF15E0B7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ce96fa12ea7ce06927d0f3414282902010caef","datavalue":{"value":{"entity-type":"item","numeric-id":4804910,"id":"Q4804910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$034F23B6-738F-4564-9BD3-5FAD75C0A85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab8130d3aff9409c6a296190aadf3113874d3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$11FEC22C-6242-4A56-813B-4C705F639FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de32e79a316f4ba915617aa14ef93a799456844c","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$C7D21B08-FF80-4A8C-9C36-AD7314A6EE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a81eb14cf3d2b93ae7984784bbe538f1740c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1706605,"id":"Q1706605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$C9CD3890-A6F3-4E21-82BF-7CA6EE16ADA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a535edd09283d2318a122112fc4d95ef868fa509","datavalue":{"value":{"entity-type":"item","numeric-id":2037942,"id":"Q2037942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$A5656A57-738C-4266-BE62-6649EF151949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf9c2e8005e070cc02f7e5d2e34924b80464613","datavalue":{"value":{"entity-type":"item","numeric-id":5553283,"id":"Q5553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$2DD43E99-3683-40DC-9251-3410C5D1794D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7f03e0bfff061db9847c399a80056bc6c3929","datavalue":{"value":{"entity-type":"item","numeric-id":3890112,"id":"Q3890112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$E76C0E8E-082E-46B1-A261-0D1064BBD995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec39e0aae078ea86b2a7192e600175bfda00e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$76BC5992-A393-4115-BD37-9F547D7E5634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$C57E4120-018B-49B0-93E2-A4A046251391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdeeb36496b10a1dc8006d87953598d35e3fa10e","datavalue":{"value":{"entity-type":"item","numeric-id":2215961,"id":"Q2215961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3e407e8131a3099ad44aadb9c62074a9fb9e85","datavalue":{"value":{"amount":"+0.7973036170005798","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":"Q832277$AABF03F6-F6FB-4162-96F9-42241E842E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc7c3bd9865d854d938b76fe1658115e8a1ae42","datavalue":{"value":{"entity-type":"item","numeric-id":6045058,"id":"Q6045058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e36ca723e4de4b755c6fbef5c747bb8eb9804f","datavalue":{"value":{"amount":"+0.7920326590538025","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":"Q832277$898D1417-E4CD-4AF6-AAAA-5207DAD34EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fcb12c24bd87b3c6cd8fdd7a0678957569997c","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0377313d190b5796c42bfc5779c2bfadd22141","datavalue":{"value":{"amount":"+0.7569621205329895","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":"Q832277$83821165-0D9A-4686-886C-3410767DADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd0d618f27482dd700592c3a6a6f3c52e2054d","datavalue":{"value":{"entity-type":"item","numeric-id":5447361,"id":"Q5447361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ea5955cae61401d7f499cd66945ccc426023c3","datavalue":{"value":{"amount":"+0.7518343925476074","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":"Q832277$8FF51940-6F2A-4AF5-8002-A53BA9C86746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c6d20dab1f76643ab3cd9ea984c061e8aeaaff","datavalue":{"value":{"amount":"+0.7501540184020996","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":"Q832277$352C704E-7B6F-4BC3-9CC7-71B738701664","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832277$0CEF3212-D5F1-4D54-916D-6327A3658783","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking structured context-free languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_structured_context-free_languages"}}}}}