{"entities":{"Q3643360":{"pageid":5673266,"ns":120,"title":"Item:Q3643360","lastrevid":90432662,"modified":"2026-06-04T20:10:26Z","type":"item","id":"Q3643360","labels":{"en":{"language":"en","value":"Effective \u03bb-models versus recursively enumerable \u03bb-theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629406"}},"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":"Q3643360$732706AE-47A4-436C-A45C-F909CA4CF54C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67bb4c75a2904922e41051540e9bdb04b7ef81df","datavalue":{"value":{"text":"Effective \u03bb-models versus recursively enumerable \u03bb-theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643360$AE218798-BC7A-4712-A607-AE305658E6AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d0008a74f58b1ea78e169e6f0b00d0461cabf51","datavalue":{"value":"1186.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643360$0BB129FE-1DF3-4AD4-A736-1D8778172E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5522ae9bb48ecaf256410e63e0432135b095c0a","datavalue":{"value":"10.1017/S0960129509990053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643360$6F81C642-3531-4420-8A30-CA80064DCE53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$A0AEF14E-DA40-4C16-90C2-7865AEA6F329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68270b02753f40aeb8c3f7c3db3ee0bba3d62f","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$F01D0DB6-15F4-41F4-9DB0-A0ADA182E455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$5686A72D-330A-4466-B1EE-5091916AC8A8","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":"Q3643360$9EE8F538-1836-48CC-BCB2-E26FEBD21202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643360$EF86CDE5-AF97-4FB7-8B30-3492F8522617","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643360$A9F72C35-4B00-485E-98C2-7D1600B7BCE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc7a5e460357836b8f863a76ab0ee69b61e7b00","datavalue":{"value":"5629406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643360$5059E8DD-8495-44CB-9703-3E030C7DCD3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506817c04a5435cbe210d27c2a0eb0278d51e037","datavalue":{"value":"\\(\\lambda\\)-theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643360$05E0C1AA-E340-4E46-8B4E-D935C94D6EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643360$AF2E6BDB-63DE-4E16-B9E9-37E3C4E26E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd6ce081eaf5ce36e74ea0c9d10a10a68b8ba8f0","datavalue":{"value":"recursive enumerablility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643360$B90DF214-84DC-4E30-A741-D72F19C1FCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1415f5b0e29bdc848e47f008dc1258914aefbe30","datavalue":{"value":"\\(\\lambda \\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643360$CFDCF6A0-6D1D-4B0D-AFF2-CBBB129D9AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f411d83aa2522263145166f4034a6237700aa0","datavalue":{"value":"effective models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643360$28B333F6-E8EB-486C-840D-5C56B5EF071C","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":"Q3643360$C13647C8-FF1A-4EC0-B3C0-447207BFD01C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$4B87F46B-2E18-4C78-BCD1-D1246E31805D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$12A8DA54-3DF2-4A9B-9300-214163AF6C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$E0A93D55-7782-43C6-A5B9-A65491C8BE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34106e0a2b75b611b4f53b9b830bcbe0b21f1a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3535680,"id":"Q3535680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$BB3E7BC4-B4ED-4FA7-A614-BFC208D8E1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$7D3485E6-3B5E-4981-BE46-16333B66B95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a724201ff43afc7a9d9191ef4bbb8b92b1f8655","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$43A7AAA8-66A7-4008-B7E9-9618A6FFEFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf9bb16368406d756f1ee1585890c89fe7bb1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5267435,"id":"Q5267435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$98598320-487B-48E6-B52E-13B580E3A6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$65DD9D0C-BF4E-48CC-A1AD-C443318BE3FB","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":"Q3643360$AD1CE047-AEF1-4335-8B8F-F870593C33E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$0B89028D-0BE9-4CE2-B52C-7219E9DD7430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cedd5dad6884e9d508e59fa93fce3528d9c5412b","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$860393D7-5789-40D1-9148-026FCC6D8201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de90fb42c2f8068cf3cea8f0935cfa8e0fa3bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2368937,"id":"Q2368937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$4D82CB3D-1FC5-44CC-BCDB-1A0CFABF5BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$024D699A-C74D-44CC-ABEC-582A3962E16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb0932eba7e680cc2debb594cd8e98808dd520d","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$D9B3E55E-EE77-4461-AAA3-C95F86C7DBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca100bc1abd8d2e7968d0c651a910ff9e472c216","datavalue":{"value":{"entity-type":"item","numeric-id":5481589,"id":"Q5481589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$52964295-BFFE-410A-A6AB-17FB40C4220C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b91c1e597e7a30d5292d890194aa38d3dc1889a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$F4458E01-4BCB-4A8A-88E7-9000C47DF5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7ea7417ee62cca1f518b6b70dfc184a81f5598","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$E90B3741-B395-44AD-82A8-5A6EBA69C87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f07188c1bb9801498dab72b6f622dc7e2912b9","datavalue":{"value":{"entity-type":"item","numeric-id":4405696,"id":"Q4405696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$86A5CD0E-1961-492B-9C5D-6DF1A3D7BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d857b76069b4262b1e49c8d71e9d936817db9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1580649,"id":"Q1580649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$19C43CC5-3987-43DD-BA0A-1EFE6EB43DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d9225d3cd6d3b588c2102a4d2d660fd28f0929","datavalue":{"value":{"entity-type":"item","numeric-id":4254697,"id":"Q4254697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$30849757-BDFA-4BEB-B23F-9665579ADC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$104A768D-B001-4F26-B9A0-127D25801A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$563FFB69-024A-4916-A482-AEEDB4460533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996d4040cbbc68184b9d46e57ada54d9b57020b0","datavalue":{"value":{"entity-type":"item","numeric-id":1908351,"id":"Q1908351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$9BDDBD71-0688-4B45-A205-49E94CEC2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f6c3ba9d67daaf9fd7b9e2ad735227bb576b6e","datavalue":{"value":{"entity-type":"item","numeric-id":3734353,"id":"Q3734353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643360$5CB973F4-F7C3-4CF2-B083-973F95E2ABC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e2574481fd4aa4185debc22e16930f5b26446fa","datavalue":{"value":"https://doi.org/10.1017/s0960129509990053","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643360$ACE650DF-0535-4F13-B12F-432A4EA55DBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df6f702817f7504ee369a62c43f0eacc154d9aa3","datavalue":{"value":"W1646840510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643360$9138C921-263E-4B4F-A1AA-78D01DE8D59C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e967a0844032208c812c6af595f22ba3bbcb523a","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58ce754698df129d67970428245b23a61e05c7b","datavalue":{"value":{"amount":"+0.9389442205429076","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":"Q3643360$DD6D2A54-8F95-422E-9265-2BE0A3CF2435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0c597fd86f08bf24522c54920f61dd77fa528b","datavalue":{"value":{"entity-type":"item","numeric-id":5481589,"id":"Q5481589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525a0c34cd026365233ee7c190ae813f52d0b4a","datavalue":{"value":{"amount":"+0.807571530342102","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":"Q3643360$0C0F7471-9F4F-4BA0-A6BC-D562DE6E8B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaed0248b48e96a7568a92b16305333806719d7","datavalue":{"value":{"entity-type":"item","numeric-id":3535680,"id":"Q3535680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e182acce0776a8683c393a4431ea390dc6c350","datavalue":{"value":{"amount":"+0.8022400736808777","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":"Q3643360$1DAA0D87-A18D-48DE-80C7-5C045B566D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe88c05f88fe4b686bae2e7511b096502afb869","datavalue":{"value":{"entity-type":"item","numeric-id":1021569,"id":"Q1021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a20bb86103f7df254e42a2ead589409bae5471","datavalue":{"value":{"amount":"+0.7997179627418518","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":"Q3643360$072A193E-441E-4C03-8AEF-D40D6E048E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f948a54d1f17b7cb270c2ed50690a91f2abe16c7","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685f31e4e0af9646ecad026a72b1ae09ef5a5562","datavalue":{"value":{"amount":"+0.7928509712219238","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":"Q3643360$254CCB0F-B52E-496F-8BDD-D6051029A45B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective \u03bb-models versus recursively enumerable \u03bb-theories","badges":[]}}}}}