{"entities":{"Q1893130":{"pageid":1903872,"ns":120,"title":"Item:Q1893130","lastrevid":71087103,"modified":"2026-04-13T19:23:44Z","type":"item","id":"Q1893130","labels":{"en":{"language":"en","value":"OTTER experiments in a system of combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769078"}},"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":"Q1893130$03326658-EADD-4AF9-B1C3-2E3FBA178522","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bd13b7e3eec8e2a8cfc3f88c80026623d586164","datavalue":{"value":{"text":"OTTER experiments in a system of combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893130$CB02A72E-4C20-42BE-B0D2-091FBE2B734A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f66ce71d1eaae75ae2c208f292b2ef0a367d5d1","datavalue":{"value":"0822.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$5E77437F-107C-46D0-90C4-26BCFFF638E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e21d974c367ba18f2d8f62ab1d502c11f7a3b3","datavalue":{"value":"10.1007/BF00881715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$FB52812C-E013-48C7-9848-825F431E90C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$55C5D05A-C81A-40FF-BBB9-BEEA9454F8C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893130$FE0225AE-EFE1-478A-9D58-AC878CB57C23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e238dc95f952c11dfe16eaea6bb0b6b40e2de993","datavalue":{"value":"https://arxiv.org/abs/math/9409201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893130$F6C8A128-65F6-44EB-86F9-6A6E71282162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$8F5518C0-14EA-4A09-82FE-7B93B8474069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$17DC20AE-453C-42DB-8B54-7FB2364009FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$BEF53E25-32F1-484A-9750-248D52C3B7D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bae02ccf2144208b29228673b162ce57f0654dd3","datavalue":{"value":"769078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$5D14F558-90B3-4E58-866E-ECD228373A8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d678c7b1be75aedbe6f0c0b38d2fe9ac759ad40","datavalue":{"value":"experiments involving the automated theorem-proving program OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893130$3332A30B-E4F0-4912-8936-01B391AD4D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f3c820bf1be31413aea728b8aac62bca22d9d","datavalue":{"value":"TRC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893130$BB19C8FF-5252-4010-847A-90C116DA6271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893130$A17F1152-DBE8-4C43-8C7E-51EEF47B4FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c760fa6fd763a238e3824a780956095b7bc8d741","datavalue":{"value":{"entity-type":"item","numeric-id":585195,"id":"Q585195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$17F5DC6A-C823-45E3-810E-2E0A81EC1528","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$558AB3BA-99D9-4C48-A5C6-CF752D648628","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4052587a6dcfa15c53887bd0b863f5b230d8d853","datavalue":{"value":"Q115059466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893130$520D5E83-EB43-4DA0-84B5-63563A4A156C","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":"Q1893130$6F2F7003-26F6-4A30-8762-E64A455E5B94","rank":"normal"}],"P223":[{"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":"Q1893130$E8432087-BF81-4049-B464-5221FBFF7815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$806FA055-5C85-443E-8CFF-19F3459F905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462804e5d0d8d570e06c0dfc040a70acad688f8c","datavalue":{"value":{"entity-type":"item","numeric-id":809994,"id":"Q809994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$D4A41D79-44C2-4733-A012-75F4F84A396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9923efe65d7520df8384f3fd0d5837e98a751443","datavalue":{"value":{"entity-type":"item","numeric-id":688567,"id":"Q688567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$A7BD2690-D51F-42A4-950A-491339FBC5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07586bceef6b8225a0eb7b6efefef6bc434ca47","datavalue":{"value":{"entity-type":"item","numeric-id":688546,"id":"Q688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$8A4DB599-B928-43CA-8035-3C7A09D6530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b233c2726927e295d7e844e3ede544e8417db3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$A0550AD3-C051-455E-B9DC-5DAFD86590B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4546278d7889bfac8c1e9080b5b2efe4d4f14f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1311399,"id":"Q1311399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893130$5E1C65B2-7574-4131-B71B-B92BF7FEAADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b692fc79596a979bd00961137e3d3df5ae9a89e3","datavalue":{"value":{"entity-type":"item","numeric-id":1098335,"id":"Q1098335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25af81fcac6eb63810b537857fd0342763e800f","datavalue":{"value":{"amount":"+0.764902651309967","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":"Q1893130$69AD9039-1FE9-417F-B33A-F23849212E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb720b7c1477bdd9fa3da132be1b604f98822c","datavalue":{"value":{"entity-type":"item","numeric-id":2721238,"id":"Q2721238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5098962765f8706d919e79d569cbececcea06e0","datavalue":{"value":{"amount":"+0.7640157341957092","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":"Q1893130$0754865F-0D0E-46E4-81EB-89468EAE6B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790bb47fa78b6bb1707c0956e110c97e8a52fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4531958,"id":"Q4531958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55888a6106454e79edd997b77a657412f2f3e580","datavalue":{"value":{"amount":"+0.7603856921195984","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":"Q1893130$FB6DB16C-0969-406F-BCFD-CB7CA193D957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ee196048636048be4a709ecfab57184cbee98","datavalue":{"value":{"entity-type":"item","numeric-id":1354049,"id":"Q1354049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28264d1670efc41edde64af973d887e6695fb307","datavalue":{"value":{"amount":"+0.7461122274398804","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":"Q1893130$C1547F94-71E3-497A-9088-17981236B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7ba605b5f87b65b0cf7d8f1ff96c6a8dc531ba","datavalue":{"value":{"entity-type":"item","numeric-id":4814329,"id":"Q4814329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff67da5187827fbabb4329f7e99521d556ae639","datavalue":{"value":{"amount":"+0.744523286819458","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":"Q1893130$CB25F4A8-9A93-4664-BD97-B3A90A2FC696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OTTER experiments in a system of combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/OTTER_experiments_in_a_system_of_combinatory_logic"}}}}}