{"entities":{"Q476196":{"pageid":477963,"ns":120,"title":"Item:Q476196","lastrevid":62107743,"modified":"2026-04-11T03:48:48Z","type":"item","id":"Q476196","labels":{"en":{"language":"en","value":"Krivine machines and higher-order schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6375069"}},"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":"Q476196$AC0D7D8F-AD5A-474E-B74D-8454A404A970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6da37700a657d543065ac19edd87f568f844160a","datavalue":{"value":{"text":"Krivine machines and higher-order schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q476196$012D34B0-C572-42A0-BA49-C2A310B77861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2275cc60798c402ec4dc1a6cb3e5b851d047beb5","datavalue":{"value":"1309.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$D066ED52-CB23-4788-AA7F-71002CE0BC91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$BEB35B48-7A48-48B1-B490-64EC90988CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$DF1AE97F-8B6D-4E68-9314-06CB438E4C94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$4293E629-C3CF-470E-964A-1D14D1D95BC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d71c537fa104c737c45b84947206ae8eb89f9f4b","datavalue":{"value":{"time":"+2014-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q476196$F0FB7188-D8D2-4F27-8300-EBA9F0181F9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$7F0EE669-EE3C-449F-A966-CE10667FF6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$FBFBC4DF-A505-4AF5-9674-4AD953FBF36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$EE19EE54-93B8-443E-9848-DC2D3FDFD214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36e8be31d2e694b82b20dc65d8b035ee50865c84","datavalue":{"value":"6375069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$4CC0FA78-7C03-42AD-A1C6-B258F0654F37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf4f6f2283066329ae52ca5a071d4d20f367f14","datavalue":{"value":"higher-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q476196$F6B77B0D-5DB7-4696-8679-0F0C8504BEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q476196$26BA361C-A760-4A7A-9118-B5A8CE6F9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q476196$B0B90F52-9500-4DA5-8140-36C3502B1DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1974a43c2877af8af733b505265e5669426e2da","datavalue":{"value":"Krivine machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q476196$57C9341B-C290-4BC6-B34F-AD4EE9D7E67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q476196$78F00768-F9D9-4F8C-A4E0-4BC685B61B7C","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":"Q476196$5CE3CCD2-D894-425C-BD05-AA10DEE523A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8351ed886e717ee7c165bf642935c7764a5c34b","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.07.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q476196$6D3FD1B0-AADA-4CEC-B01D-A62DAB9C321C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e47f767f1331e40cb73f6a1920283ce3003804","datavalue":{"value":"W2057225506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$FE7E9E6F-FD63-4DC0-A6CE-4E70A4A1AD65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$A48A1967-4E5C-4F39-A961-408E93C71C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc938530d0a74fb7b812ad409ecb44520090730d","datavalue":{"value":{"entity-type":"item","numeric-id":5704028,"id":"Q5704028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$43513801-35D2-4704-B8D0-83CC21D24DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a59c953f12adc8db681944f0fc34813c3bfe83","datavalue":{"value":{"entity-type":"item","numeric-id":5426067,"id":"Q5426067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$7EEB9B03-858A-4F0C-BF95-BD2357BB1A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46258d6e47b1d66cde2edd84a854af6edeee43f3","datavalue":{"value":{"entity-type":"item","numeric-id":3167009,"id":"Q3167009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$F45FCDE3-B814-4EC3-849D-70EDC5C9DB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10cc666d1144d09fccbec429175298ce80913d44","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$EF36250D-2509-45A9-A6FC-1FB9732E3865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547b401bcc4a44b5f8f3527e05bfc60192bcf159","datavalue":{"value":{"entity-type":"item","numeric-id":2904796,"id":"Q2904796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$B3ABB664-9718-43D9-9260-0905A840CF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$A621FDE7-A68D-4538-A324-3B386604220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236777dbaf4cb224e1142212cf3986ded5142113","datavalue":{"value":{"entity-type":"item","numeric-id":2986793,"id":"Q2986793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$4475400D-4190-4A69-A472-3F272613FF37","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":"Q476196$B6EB83E5-93F4-41DD-9536-7DA170FC553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe0ad010f94e5ce6b15bd328037fb0b46059b28","datavalue":{"value":{"entity-type":"item","numeric-id":3765259,"id":"Q3765259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$407413AA-451B-4553-B29A-A811B6096521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee4c77f12e8e4df40843059dd599bb4c621340c","datavalue":{"value":{"entity-type":"item","numeric-id":5854735,"id":"Q5854735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$D52CB28C-84F1-42B7-8C58-9B64D8E6EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc110bf247e46fd8fb21a254330186db7c083e9","datavalue":{"value":{"entity-type":"item","numeric-id":3113775,"id":"Q3113775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$99BB3852-81AD-4A9F-ABDD-BB84FC9C5453","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":"Q476196$160597B0-459C-468A-9A61-0DE2AF318237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281167977dd4a9f6d29c0605afe66b3e3f8770e2","datavalue":{"value":{"entity-type":"item","numeric-id":5716767,"id":"Q5716767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$169C8956-0708-46AA-8A97-F93372D0D2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$EF7DA1C5-C995-4786-9966-C5C55209D0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$2351FB62-7505-49E4-8051-386AF17DD3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$2FC4E330-FFEC-45B8-B2A6-8C0EB8754495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da64f1cca780954140e34c386764f2e05d1755b8","datavalue":{"value":{"entity-type":"item","numeric-id":3012917,"id":"Q3012917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$0F384E85-B9BE-4CD7-8B1C-B8122346511F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91740000742ef4f2fddad29d68366017c1036a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$DC1490C7-A80B-49CB-A395-18172787AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b567cf8cf2023b9bd874b28cb13ae525c4c5e733","datavalue":{"value":{"entity-type":"item","numeric-id":5300902,"id":"Q5300902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$986A2184-0E45-4E8F-99B4-3B5ECB165780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$61322836-45C3-4513-88B1-D9EE60460767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"467c53bbdd1dc227f69ea5f5fe41358cccee39b8","datavalue":{"value":{"entity-type":"item","numeric-id":2464724,"id":"Q2464724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476196$3B394659-7C62-430A-A151-B0D634718A3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab9ec77dbd887ae12f947e180f05683ecf36097c","datavalue":{"value":"10.1016/J.IC.2014.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476196$BA772BA9-1159-4706-B3E7-CCDD395B0C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c5b7933ea405774474bbe89f562f941c6c512b","datavalue":{"value":{"entity-type":"item","numeric-id":3012917,"id":"Q3012917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25be296301ad34bf57ff0ec21b6ca91f4806f775","datavalue":{"value":{"amount":"+0.9972808361053468","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":"Q476196$240124BD-7D98-48EB-9F01-917B2C8DBBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46efcde793d6a4798a428a0a0d5ae2133e982970","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12de30225fbd2c1c750cf582218743023e465e6","datavalue":{"value":{"amount":"+0.8442469835281372","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":"Q476196$1CC0C8AE-B54C-4029-9EBB-CA42B6ED03CD","rank":"normal"},{"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":"327d46922ff73d154c59d32fc57346b141d56199","datavalue":{"value":{"amount":"+0.7789782285690308","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":"Q476196$452D29C7-2DDA-4EF0-BD1A-1E7E9807D925","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":"bfd43f1f5046cd6af2077269b08b923b1b62f209","datavalue":{"value":{"amount":"+0.7786598205566406","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":"Q476196$2AF3434D-7FEA-4DD3-ADD8-59D17C12A503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73470da0cc9bdaa02ca800e8b0758d16c1b83b27","datavalue":{"value":{"entity-type":"item","numeric-id":2922007,"id":"Q2922007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0511f5efd079726b7a45869dd5841489661e703","datavalue":{"value":{"amount":"+0.7685582637786865","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":"Q476196$5FCCA867-6219-45E5-88F3-74BEA76404C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Krivine machines and higher-order schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Krivine_machines_and_higher-order_schemes"}}}}}