{"entities":{"Q2863895":{"pageid":2874615,"ns":120,"title":"Item:Q2863895","lastrevid":51885086,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863895","labels":{"en":{"language":"en","value":"Infinitary Howe's method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235759"}},"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":"Q2863895$4BDC617D-D46F-4942-80BC-321F21FA5C1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b7d9b5aad0de96cff1faa44cb677da746c78c17","datavalue":{"value":"1276.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863895$988A28B7-5466-4DC1-A304-D51B03DF73FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863895$01194C28-3951-4105-8A1A-BAAD7722DD64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863895$5548B7A9-858F-48CE-B8DD-2D887FA5DDBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4f001a9581096dc170e6f31ed8ebfa5e9fecca9","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004713?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863895$BB955FC8-5CAD-49B4-B5AC-88261D07410C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863895$1DCD440B-4CE5-4627-BE0B-FE8D4E8828CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863895$003F22A5-AD80-4271-984B-251303D82756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52cce7a0ce5cc9559add9a2015147405878b036e","datavalue":{"value":"6235759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863895$952BEFA1-5FE3-46BF-AB7D-C758C1CCBC1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b3697f30e2b72642f9629c1eed65dfa9c19e2a","datavalue":{"value":"Howe's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863895$0CA7C00A-1375-472C-894D-515961032A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88604c932a4378b4fbbfef3c13b130a9daa220f7","datavalue":{"value":"applicative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863895$88F39E26-FAD0-4702-8989-B5CE663725FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863895$AFD8F154-76C4-42DB-B4A1-5A84CFFFF38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe400883ddbb6626535c53e2bbd635df88029a0","datavalue":{"value":"coinductive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863895$5CF6C2E5-561D-47E9-A04D-83D882515895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2253dfca6420e4a6327d3869c0369de93c66b72f","datavalue":{"value":"infinitary syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863895$F98EAAC2-25E7-43C6-83AD-52EB01263CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863895$E88CD182-692B-43E0-AF24-DF8F7336776A","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":"Q2863895$9B268CF3-342F-486C-B3AD-E7EEB1BFF487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9ee26fe0880772678f9f1f49521af17f235e4e1","datavalue":{"value":{"text":"Infinitary Howe's method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863895$9D85E908-3AC2-416A-BC85-932EC0756735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726b6020c2afdabeb8cb38f5953550199b091c9a","datavalue":{"value":{"entity-type":"item","numeric-id":5357705,"id":"Q5357705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c042bd077053fd786e5e385b8613f3639f1e14","datavalue":{"value":{"amount":"+0.8002316355705261","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":"Q2863895$936CED67-3253-4741-903F-08E5E1CBEBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96728972baf4e1a3e7cb2557baa6d644e414b7f5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3abd64fa07362b610db4621c1d82e52ad04af61","datavalue":{"value":{"amount":"+0.762093722820282","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":"Q2863895$0B70B039-7177-43BD-90C3-099137504575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc67e5a0aafe72c9637b8a95042e06f2d7f2bd4","datavalue":{"value":{"amount":"+0.7557011246681213","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":"Q2863895$1791B0C1-BABA-4719-98A5-72AE2ECBFCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38aa120b25c6a2afd536e54ca4c3bec74fcc152a","datavalue":{"value":{"entity-type":"item","numeric-id":5236557,"id":"Q5236557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a43dad3a7bfb4f96ce0fbea253d3942207fcaf","datavalue":{"value":{"amount":"+0.7465705871582031","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":"Q2863895$261558C4-3B59-4F1F-B126-495502F5C56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e5426d4c0e5bba93b5ee526cdb5460471ed3ca","datavalue":{"value":{"entity-type":"item","numeric-id":2844810,"id":"Q2844810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471754d7a0dd77281ea6944c3f64cd67e58eb8d4","datavalue":{"value":{"amount":"+0.7404382228851318","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":"Q2863895$0520F87B-EA09-428A-9EC5-19E7DC7E6380","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863895"}}}}}