{"entities":{"Q1653017":{"pageid":1663758,"ns":120,"title":"Item:Q1653017","lastrevid":56755647,"modified":"2026-03-23T12:08:24Z","type":"item","id":"Q1653017","labels":{"en":{"language":"en","value":"Verifying higher-order functions with tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904557"}},"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":"Q1653017$E7BB19A3-99E7-42AB-902D-B2AA94FAC257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0490c60a3e85f0c56f523a1ae1b7f03c87f6a31e","datavalue":{"value":{"text":"Verifying higher-order functions with tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653017$EDD0A777-C130-47D7-B5FD-891C4846B660","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c4186f0698715d8d0523256b4a3271e3252e5a2","datavalue":{"value":"1504.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$47F2834F-13A4-403D-B194-1125C0DB6D40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a90b972f4bc3c3a4aac8371139f4450340afe756","datavalue":{"value":"10.1007/978-3-319-89366-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$268162A4-7B2F-403D-8B9A-826F3DCD9C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e53255bd22b5553843b3b4c1a51d83b6732157f4","datavalue":{"value":{"entity-type":"item","numeric-id":1621571,"id":"Q1621571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653017$2BE5EC02-48BC-4C96-85F8-71BFC6B41950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653017$C63B225F-1A58-45F1-A614-0D47A7A2D067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$A34FBDBC-C5EA-49DA-A033-0C4725E1B521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$AF780BDF-9663-4E12-ABF9-F05F40AA1CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$72F4AA49-52A6-4C5A-962E-A5205EF4B4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$291F6756-5A0C-4ABF-881A-84E4D25387C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a9a9f3db8f5a56bda65b251ca736bb90c8d6ddf","datavalue":{"value":"6904557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$38C4A6DA-C92E-4A38-B0A9-038E21830793","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653017$481373AD-135C-4A47-8036-175EF9CEC345","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":"Q1653017$555A926A-B160-4A44-82C5-0C7C999B479A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdb650350d8bf327865c3a1928a7ba555de4de49","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89366-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653017$87CD2A7B-88A8-4204-AB33-B6CCB4AB371A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e81bc67f174290f1ecef1dfd0c7d47fd75cbe5a0","datavalue":{"value":"W2767047126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653017$54D10CE8-2168-4093-A47B-85D45431865D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9730363bc03c91cdc203d04c63c15559d8c968c","datavalue":{"value":{"entity-type":"item","numeric-id":3459423,"id":"Q3459423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f7621732820c99c468e28a37c1ad2da573c364","datavalue":{"value":{"amount":"+0.8590198159217834","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":"Q1653017$407DBB3A-EEFE-48EF-AE96-157542895655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ca0a10ef33b153c3b7adbb7e4df114916c3fd3","datavalue":{"value":{"amount":"+0.851230800151825","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":"Q1653017$39B74261-DBD5-4754-A7F1-B94A462C1EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487f8c86f5a5f9188677aaa27c7b93e3da56855c","datavalue":{"value":{"entity-type":"item","numeric-id":5740641,"id":"Q5740641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e8e5b4d6b7929c30b88b915a75c8f7fe3258a4","datavalue":{"value":{"amount":"+0.8487970232963562","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":"Q1653017$641CCFC6-376E-42BA-A82E-0D70E4099832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b64bc1618cdc9b79cfbd022d4650059338b73d","datavalue":{"value":{"amount":"+0.8093959093093872","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":"Q1653017$FE4EE22C-21D8-454F-BE4F-4B9392A896DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a3fcc35cc289ca6c17c51b60144664239c74e9","datavalue":{"value":{"amount":"+0.8040915131568909","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":"Q1653017$E256F589-3E88-4C0D-866E-97B1EB582CD9","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":"Q1653017$4AAAE9A9-6E46-4037-9520-B48090F49E51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1653017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1653017"}}}}}