{"entities":{"Q3523174":{"pageid":5553078,"ns":120,"title":"Item:Q3523174","lastrevid":50441480,"modified":"2026-01-14T01:43:45Z","type":"item","id":"Q3523174","labels":{"en":{"language":"en","value":"Verified Decision Procedures on Context-Free Grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318943"}},"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":"Q3523174$441D80F6-39FB-4159-8C7B-F89D9498E792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8f8703eddf2592b98166df460bdeaf60a6fe6c4","datavalue":{"value":{"text":"Verified Decision Procedures on Context-Free Grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523174$A96A8308-CD4C-4E80-BFD0-765C59E7A71D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7c7d770274e3f168c3cfeb6480433820d378b12","datavalue":{"value":"1144.68324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$6DFC5FFE-F692-4BE9-B016-86C604824D6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"595a9ef46a87bc0f336ee8bc89cad77c8c39d0c2","datavalue":{"value":"10.1007/978-3-540-74591-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$EF0E88B5-4D95-45D1-90BC-D40117E4F812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b65a4dbc5f37e2627023acad8d57bb8d9bb41387","datavalue":{"value":{"entity-type":"item","numeric-id":420835,"id":"Q420835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523174$31230FB4-31EE-4F49-A228-1D6146E5B433","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523174$690CF120-1981-426D-8678-B2269697DE13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523174$0B9185FA-BD89-4CE7-BECC-C13B54B460C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$371631AE-800F-4ED1-B9D6-E59674C18375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$00DBEF55-CEDA-477C-8C7B-0D406C025CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$25453424-41B4-42E1-A9D8-8B79590EC089","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3abbcee5bd198ec33a1ee661b4ab90efa1db840","datavalue":{"value":"5318943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$757E104F-5DA2-4D9F-B09C-1D0F31DBABF6","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":"Q3523174$8347A5F3-DF9E-47D0-9B20-8950139198B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afa7eb0fae017975febcb56423cf8f2f5db03c5c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523174$2DE10EB8-176D-4486-979E-1C388D7DACF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"641d516857b1d1b4fef8e3eb54e3a31c1e7f14f7","datavalue":{"value":"W1601251910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523174$1B0BAF7F-ACD6-43BB-B87A-B3D605674599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9f0c64156bee58c8337dd997e9430d29682a5b","datavalue":{"value":{"entity-type":"item","numeric-id":5758052,"id":"Q5758052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa97d3591948dcdb050762252724cf4a3498eb7","datavalue":{"value":{"amount":"+0.7891073226928711","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":"Q3523174$AC14D35E-41E6-4B3A-BAB2-B1FDE5A83CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa4f96b3d0dd06e4e83dd176a3ca51fcba60d66","datavalue":{"value":{"entity-type":"item","numeric-id":5385603,"id":"Q5385603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5716c2231f119ee17026c9af8cd5b111a5de3264","datavalue":{"value":{"amount":"+0.7880682349205017","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":"Q3523174$2EC9A8D1-D912-4940-BA9E-A9B19D422C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb5d51ef51b65bcf2bc0aa8ff9099fb9aad3c14","datavalue":{"value":{"entity-type":"item","numeric-id":3617050,"id":"Q3617050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9a2a3bbf8ca0022f2e8853256bac9cecb1b354","datavalue":{"value":{"amount":"+0.7557772397994995","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":"Q3523174$1EDF30D5-392A-4532-921F-B13C06F36B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbe059ad96b084d0f734345f24e8280b415e37c","datavalue":{"value":{"entity-type":"item","numeric-id":264992,"id":"Q264992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42a695f25394eedd3175cc561c048280a85e783","datavalue":{"value":{"amount":"+0.7539207339286804","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":"Q3523174$A96F656E-F07F-49F0-9236-C6EAFEB20357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab540816f122bcd69c324489c1951d42ba53a3dc","datavalue":{"value":{"entity-type":"item","numeric-id":3519518,"id":"Q3519518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc48d3a9b5e36223ef8b3b86afc1ca1d16992d21","datavalue":{"value":{"amount":"+0.7519665956497192","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":"Q3523174$73003350-2799-4541-8BB6-536BBC645CFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523174"}}}}}