{"entities":{"Q5271052":{"pageid":7300627,"ns":120,"title":"Item:Q5271052","lastrevid":100559279,"modified":"2026-06-05T22:26:35Z","type":"item","id":"Q5271052","labels":{"en":{"language":"en","value":"Model-checking parse trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738795"}},"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":"Q5271052$4016F6AD-B94B-4C69-8005-3EF6FAB311E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"789451003ca7c52118efdc90cdf71ba5fbf40c94","datavalue":{"value":{"text":"Model-Checking Parse Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271052$ACFAB249-4229-4795-8E1D-4F8E2B3905BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bb992153816224578b02f0c4014826c9fcfd8b5","datavalue":{"value":"1366.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$B5CC7358-166E-4571-8BD8-FF82B4D322DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b1e74cead7b66bc048e2652f7bc8b8399d891f2","datavalue":{"value":"10.1109/LICS.2013.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$E87E7708-5D12-4A91-A505-6FCAC00F884A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f407d914d2126c7adc91f93e124cd65eec3aacd2","datavalue":{"value":{"entity-type":"item","numeric-id":255281,"id":"Q255281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271052$F44259B3-B5F3-4B6B-99BA-EDDB5B0235CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271052$EA13D0B7-F668-47C9-8DD3-1374CE9926B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271052$D2B03796-4561-4B32-BFDA-25C224AB6D07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5271052$C38A13C0-3C3C-4BFE-8FF4-246D33F8CDC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8081fb0252dfce951bd9e88d4abbda9f80e30f0f","datavalue":{"value":"https://arxiv.org/abs/1211.5256","type":"string"},"datatype":"url"},"type":"statement","id":"Q5271052$750B3EB1-F350-434A-8413-5A1F3B4E87A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$D9B621C0-ADC3-4E6C-8E56-584B21C28AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$75FB96BC-3FFE-473F-B806-AAC440B1A572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$63EC183C-9AB2-423C-88B7-DF073C4DFDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$41A2AFEC-78E3-443D-8400-9D46A589807D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5a385046a97dbf4ae70ded354bef9d557cf55e9","datavalue":{"value":"6738795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271052$7E2C66BD-5B35-42A0-BD4E-B52C288A6FF9","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":"Q5271052$082B9407-9A88-4355-ACBC-E2B761BFEB23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0388020fdd9c2c523613c6bbebd2908959da6d","datavalue":{"value":{"entity-type":"item","numeric-id":4923571,"id":"Q4923571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6acb1f79a11026d2ed3f1fd643f49f442d5963","datavalue":{"value":{"amount":"+0.7628630995750427","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":"Q5271052$B585679D-C34C-4DE2-BE4E-3DEB316212BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ca8c1222153f841f6e02494a00f1c8e146f249","datavalue":{"value":{"entity-type":"item","numeric-id":3602823,"id":"Q3602823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f798dfed850bbc8bbc142fef7d8375b1e54bcc22","datavalue":{"value":{"amount":"+0.7579553723335266","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":"Q5271052$860B8762-4D00-476F-A846-5D40F631AC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9916f89802e9e9c0e46bce54a93e8efdf0b8f84","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ad9c8d6ab65961d60cf9a582aba459a97c0091","datavalue":{"value":{"amount":"+0.7437131404876709","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":"Q5271052$6D266F3C-6E0E-43EF-8EEB-A29C51952795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89669d2683cf2bb7126dfd4ff64fff11454dcaa2","datavalue":{"value":{"entity-type":"item","numeric-id":1016030,"id":"Q1016030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69136aa5371d17f8c42df22946868f73daabe30d","datavalue":{"value":{"amount":"+0.7416926026344299","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":"Q5271052$D650BAF3-B811-4B0C-9346-3A2936B6A877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbb606cf39ae618b25b8dc31096a3d5dd5b5b0a","datavalue":{"value":{"entity-type":"item","numeric-id":3113305,"id":"Q3113305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac356626a00e0456805f11289bd47dff0f79f9a7","datavalue":{"value":{"amount":"+0.7300509810447693","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":"Q5271052$78D52401-F514-41C0-8401-09F6B1502BCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking parse trees","badges":[]}}}}}