{"entities":{"Q5740641":{"pageid":7770193,"ns":120,"title":"Item:Q5740641","lastrevid":101732501,"modified":"2026-06-06T02:40:13Z","type":"item","id":"Q5740641","labels":{"en":{"language":"en","value":"Verification of tree-processing programs via higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606927"}},"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":"Q5740641$0A916EC5-5C6A-4AFE-BE3B-28533B5E8831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96630b2ce2221ccf4eccbbdcffef99a20f292e38","datavalue":{"value":{"text":"Verification of tree-processing programs via higher-order mode checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740641$1BE95A2C-A8DA-49FE-8493-3F34B217EE1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c87d2a16dd636c3559c3fd1e8e908e1597d8724","datavalue":{"value":"1361.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$3101ACE6-9228-4044-A98A-48C42A7FCFDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f29b04d3ad34ede1057d57f09f42ddecf7e7b9e2","datavalue":{"value":"10.1017/S0960129513000054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$2A6E335C-762C-4083-9954-A28203A84D5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$ABF4207E-1CC1-4650-9703-F73E7372B145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da27a0bf04009565d97d4d5d7229b434e720bb48","datavalue":{"value":{"entity-type":"item","numeric-id":5255105,"id":"Q5255105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$53617704-CF80-4D27-A035-C2451394836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$041F9422-1C77-47B3-9637-C9B8505121ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$ABE72BD7-8A17-46F3-8354-0D2F7145ED0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740641$FB2F6B33-9486-4358-BC9F-A3DE781BB4AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$3967E015-D086-4E1A-8D4C-3A5B29F24307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$DFE9E03E-C2F0-448E-83C6-ABB619E721B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$21F4B8B1-3214-49D6-9D47-6383DDF2F0EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a17cac5ce89ae21ac8c2990b92ed4b6bde6a5a4","datavalue":{"value":"6606927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$31AC7CF1-688F-49CA-BDF7-A0F75EE200AB","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":"Q5740641$D41AB6D3-69FF-4259-B2B1-00DB0A0E291A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6daecdeac1d806d8c648d3cda27ee91c08d239cf","datavalue":{"value":{"entity-type":"item","numeric-id":1394797,"id":"Q1394797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$875F4510-FFDA-4AA5-8AD4-B3F603F7D1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e0965a5a6d705e892b0c699c16c3c07967d5b1","datavalue":{"value":{"entity-type":"item","numeric-id":2943355,"id":"Q2943355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$FF05B420-82E1-473D-8D98-DD1F1E3DD32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f1c4d780a5374e55b030ac066db90ef0de63fa","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$151907B9-B3B7-4176-966F-D3780A86F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7415ca1d7c52cd1c4780d27f42492d99a547b2","datavalue":{"value":{"entity-type":"item","numeric-id":1096399,"id":"Q1096399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$2F177B79-6B99-489A-810C-A54389427E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63ec78833f22bb9e0e2200040a0b3d2024fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$4CE6A5A9-7563-4A6F-AD2D-A704DC26A630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$80E44941-35F5-4246-9AAA-83785055A640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c5bdc7a2a03b6cf870f2ee2a9db6db747ca08","datavalue":{"value":{"entity-type":"item","numeric-id":5261266,"id":"Q5261266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$1B68556D-76E8-4621-BD13-57A024771DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848d380ec657426aef1815bdb57f894712d97124","datavalue":{"value":{"entity-type":"item","numeric-id":3434627,"id":"Q3434627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$271FE868-6BB8-4587-B9ED-F37F4FD0CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740641$6F2D3A41-946E-4B0B-8DE9-FE92FDFD2C71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e1ea48cbd4f923b44ffe619526aa8203044718b","datavalue":{"value":"https://doi.org/10.1017/s0960129513000054","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740641$FAE3A753-5202-481F-AFF2-AD5A525B4277","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e142fa55cb9f6c4f71053e0f5378b50f604c91c","datavalue":{"value":"W2002702549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740641$1B044A8A-9512-46ED-B91A-82EA0DC0BDF5","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":"d8dbcde4b673c54cbb27fca0f84d26cac7d7210e","datavalue":{"value":{"amount":"+0.8717078566551208","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":"Q5740641$5597A46E-2CD9-49E8-B3D9-6C32AF500C5E","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":"477cffcd7b244508bf5eb89c1a6fc156fef3d117","datavalue":{"value":{"amount":"+0.8665601015090942","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":"Q5740641$9069F7CB-6B48-47E0-A682-F9B2BCD9CA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"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":"Q5740641$F0329685-224B-41B3-BDDF-32574702E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899fb17b55ab136c8893143561e63b2c88444ead","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6245c651d0fb12106a0c663982fe354a383193d4","datavalue":{"value":{"amount":"+0.835529088973999","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":"Q5740641$B3E04AA3-AB05-4EF2-93E5-5FFAC4F9BE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c1959b87534758e1538bdbc447d480eecc501e","datavalue":{"value":{"amount":"+0.8316669464111328","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":"Q5740641$2F9E5E7E-C74C-4EFE-91BE-7EE91D96D32A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of tree-processing programs via higher-order model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_tree-processing_programs_via_higher-order_model_checking"}}}}}