{"entities":{"Q2958519":{"pageid":2969238,"ns":120,"title":"Item:Q2958519","lastrevid":79804772,"modified":"2026-05-06T14:44:48Z","type":"item","id":"Q2958519","labels":{"en":{"language":"en","value":"Saturation-Based Model Checking of Higher-Order Recursion Schemes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680133"}},"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":"Q2958519$A48293B5-A233-41B2-80BA-5515A6EDAB35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02289dab0086adcdb7426c3bb79b24b7f3aa30a3","datavalue":{"value":"1356.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958519$D970D93F-8B5F-47D5-99F0-7739A84CE998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58340d421f2d125fddc6878d23b8276ee5025ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2254513,"id":"Q2254513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958519$098AC43F-1C5E-492D-90F9-2D85CEB19181","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":"Q2958519$7F9B7D0C-061D-4E0C-B8B2-4E18B32011EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-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":"Q2958519$1EC02BAD-4205-465B-B5D8-D6B6815E5117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958519$C4C9115E-D2B2-4EBE-B304-47BA29D6A3FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423fc6c6f91e0c0387928446c68b56436ef61091","datavalue":{"value":"6680133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958519$20A3F1EA-2C94-4686-91F7-3BBA8BA5F91D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958519$E61701AE-7671-49A9-9916-B725F73B0F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958519$BD0B5697-4D64-44EE-9381-82883EF4A02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958519$CB5C0981-C146-4E04-9D00-1EEFD4C175A9","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":"Q2958519$EDB0557D-F504-414E-B5A1-FAC3D98CFA16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0874bcca4ae4ef40b70d4aa6aeb738485d918d35","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.129","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958519$018938A8-FE92-4ADF-97CC-9D28BB7B8AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06daf0ce50c93ee9ea6f66a25e3a09b86dbc1aed","datavalue":{"value":"W2294925939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958519$C59D8D82-75EE-423B-AF1C-DEF72A536386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66056773f8770163fa3728dc26c004f978b2e166","datavalue":{"value":{"text":"Saturation-Based Model Checking of Higher-Order Recursion Schemes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958519$99E520C1-B92D-4638-92E8-BF2AC1108AF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"169fa24de7cdd6c5c1086afb10bf7bffe6201192","datavalue":{"value":"10.4230/LIPICS.CSL.2013.129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958519$B2D6491F-4FA0-4468-B927-283E922F57F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946930d63b7416ae266d793700e63fd268e865e5","datavalue":{"value":{"entity-type":"item","numeric-id":4941897,"id":"Q4941897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36318beb49d4f67108c22e506fcf39a19e32dcc7","datavalue":{"value":{"amount":"+0.9354162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$AAB518C8-4EEA-43AF-A187-F2EB2B860EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55439710e2babbfe7ae246e1e8cf83f5fb1cc807","datavalue":{"value":{"entity-type":"item","numeric-id":5326300,"id":"Q5326300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72222ad91d9984c4e28ac3af38942b4fd7eaf718","datavalue":{"value":{"amount":"+0.9096719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$2A00DD08-C31D-431D-B0D7-2D939627A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121a525aefc794a363673ea28ab81bd3d66b2408","datavalue":{"value":{"entity-type":"item","numeric-id":4994932,"id":"Q4994932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402425e91c70af85feef40fda7b92cdcbfc286f2","datavalue":{"value":{"amount":"+0.9092213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$DFC35D27-2DCF-48C0-AE8F-55DEC963F6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8848cff7d1cd43c8c5b9c0047dd396bec7d74f4","datavalue":{"value":{"entity-type":"item","numeric-id":5111330,"id":"Q5111330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470201824f7266579a9552c0265897ccec697e8b","datavalue":{"value":{"amount":"+0.9088516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$88D18E5D-A449-4A2B-85B2-97045810890D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974e0efd42fb163a438b8cd86c8ca828ce24edca","datavalue":{"value":{"entity-type":"item","numeric-id":2820781,"id":"Q2820781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcfb818ca543340086ebeac88c499a0da5db2a5","datavalue":{"value":{"amount":"+0.9048205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$91A56AA4-EB80-4F58-9E96-8419139F33FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8a074cc5846737b55281d8bc60d76b8cf508ea","datavalue":{"value":{"entity-type":"item","numeric-id":4472242,"id":"Q4472242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af82a95a00524c467b26b34ea57ac55a91bd6c2","datavalue":{"value":{"amount":"+0.9039445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$72EF098D-7ACC-46E0-BB45-3DD3D2AC2958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f2beb968a92a8234db0e3ae391703a42c99f5f","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc09cc9d55dad98df27f5e15afbcfd1aa89bd4ff","datavalue":{"value":{"amount":"+0.9031966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$6A3B4C4D-EC0D-4247-83F7-27D31AF3E19C","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":"99971a57f673fe9e714b2af802e90f63f3ef4f65","datavalue":{"value":{"amount":"+0.90178895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$9C20FC35-923B-43C3-A0D4-35401A83BFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b143ecc5518b188b309bae202f417aee6fc7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ead3666c4a10c0239bda532f2b8b024c913ec9","datavalue":{"value":{"amount":"+0.90107846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958519$088CF6BD-307E-4CDD-B7FE-543BD3B96D38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturation-Based Model Checking of Higher-Order Recursion Schemes.","badges":[]}}}}}