{"entities":{"Q3617724":{"pageid":5647630,"ns":120,"title":"Item:Q3617724","lastrevid":87445673,"modified":"2026-06-04T11:42:06Z","type":"item","id":"Q3617724","labels":{"en":{"language":"en","value":"On Global Model Checking Trees Generated by Higher-Order Recursion Schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535589"}},"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":"Q3617724$C8083F05-0E38-4B68-B462-1E099F68BCF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cca17ca62fac10b7fe6089ee743ba5083350eab0","datavalue":{"value":{"text":"On Global Model Checking Trees Generated by Higher-Order Recursion Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617724$7998C5AE-CFE1-432B-9C17-DF22D2EB4E51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2605bf835b3bd680fddc711e346562ff5b333bd8","datavalue":{"value":"1234.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617724$B026D179-6DE2-46CF-AC10-D76AB79A3027","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"405b9323e050ce0913a709bb47662acb6920ad38","datavalue":{"value":"10.1007/978-3-642-00596-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617724$67FEDD2D-09BE-4BA7-8281-6DF6CD1430C5","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":"Q3617724$A8608B20-4C7F-4DE7-BD92-3F49F9AF6B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0fbc1359d4749edff77de9864558a400296c8","datavalue":{"value":{"entity-type":"item","numeric-id":1641023,"id":"Q1641023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$2DDCECE2-6C21-40D1-9976-4201B9C1B475","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$6B2657CD-6DE9-4BC2-BC1F-4A436EA1A69D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617724$C898D072-3D82-4D5A-98BD-84CAEEF62B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617724$2837D050-DBDE-4ABE-A84D-E7243E6876CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617724$929578F8-5B60-41E1-B1BA-BCBDCBA3C377","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70368bd180273ff3f290bcd52a635e6eade950a3","datavalue":{"value":"5535589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617724$6E2AA888-F630-429C-BB2C-3982B3EFE19A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff22fde538525b3a4079601bc5c637861c213d7","datavalue":{"value":"recursion scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617724$402F81B4-AF58-4146-B91D-919726A27EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617724$5F84CCC6-D0C3-4F62-B358-EF8428F019F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617724$31D76223-544E-4848-BE07-692F29FB2468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad7faa288af3248e29421a4ac1d7bc7baddf59b","datavalue":{"value":"collapsible pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617724$69D89AD9-A1B2-4377-B8C3-F99AB556D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd86259ee33556a50e7e86823c0d1547e72d38f0","datavalue":{"value":"parity game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617724$C78F8FDE-806A-4E31-932A-2374D4F93D3B","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":"Q3617724$CD2896EC-771D-4FD9-B5DB-A586DD532EE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77295403a993b8d8a7730fbf63f30597bdc3904f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617724$DB73F349-D5C2-4CB3-8CA9-89F5544FF75F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d0dcf6a957811f9b7ba979b10610f39bcdc31bc","datavalue":{"value":"W2155036983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617724$6CF20697-A8F8-46C1-908E-2825F96CE5EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$72E33C34-D6B5-45D2-B1B2-500E1CB49F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d9546809dd8770c3877fc48d5c3ed987470c2d","datavalue":{"value":{"entity-type":"item","numeric-id":2842876,"id":"Q2842876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$156D3E7B-558C-4601-B747-833A827D37B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f545b30eb16278d385853ec9876dc021bbf9ed82","datavalue":{"value":{"entity-type":"item","numeric-id":5492856,"id":"Q5492856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$14A27EA4-324D-42BE-94D5-5D5D34C6BD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af657747c8af6d120549711d7987263733b4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3599129,"id":"Q3599129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$C8355BCF-1655-4A1A-A40C-EC666712E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$078B196B-6118-4509-8107-D4F109F57E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b665a3d5bd4c237eefe65a7de574437410bf835","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$56E10623-28D9-4B4C-B041-B4431E807EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$148C970E-E8E0-4CC2-BF8D-D60CD5CE10BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$BEADE88B-F7F3-4471-AAE4-F7FC299D43B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$306B609B-57C3-4699-9AB9-1C99F92B93C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec39e0aae078ea86b2a7192e600175bfda00e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$08ABEB9D-9910-4290-A881-60970711EEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7351a5b1debd8b8e0510ccc8864beebebdf77168","datavalue":{"value":{"entity-type":"item","numeric-id":1007544,"id":"Q1007544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$34D12E0C-8D2E-4A2C-86DF-707B9F04B7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617724$9FDFC434-2776-422E-9942-F5FED0DB531E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba8f43d9ababc216e4cce4880d325c2a9f25bfe","datavalue":{"value":{"entity-type":"item","numeric-id":3060985,"id":"Q3060985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25728abd70bf4ade74d9a5e7720be2814c089df5","datavalue":{"value":{"amount":"+0.8646249175071716","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":"Q3617724$B285139B-D686-45E5-8A09-3E42CEC385AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9449b2432e897788e8b68da1effd88f4c93eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4910438,"id":"Q4910438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337e62f60bca5837ba5e55ad06d8535a47a6604b","datavalue":{"value":{"amount":"+0.8383594155311584","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":"Q3617724$21AEE04E-C26E-4DBE-A177-8C34C5E3BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37104469d5ec0a965f36f80e81bf3b3c10dbf0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5458405,"id":"Q5458405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ff6f3d0303163f69cf6cc3029955cda76983d7","datavalue":{"value":{"amount":"+0.8139899373054504","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":"Q3617724$A99ABA58-D237-4E6B-A348-F92F5EDDE971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadaba022955398c649765841c263b14ee7ae57d","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d82eb8b074ae36ff3ebffcc12ca0e82ebcd328","datavalue":{"value":{"amount":"+0.8137862086296082","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":"Q3617724$7616109D-17C7-4C3E-BAE0-1EA6A4B7D040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55385b2eeebd4bfa6b261c08b08a58ebbb6dc8a","datavalue":{"value":{"amount":"+0.8009775876998901","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":"Q3617724$FC8708E8-3998-4287-922C-E6E34ACF0B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Global Model Checking Trees Generated by Higher-Order Recursion Schemes","badges":[]}}}}}