{"entities":{"Q1199546":{"pageid":1210295,"ns":120,"title":"Item:Q1199546","lastrevid":66465081,"modified":"2026-04-12T10:15:39Z","type":"item","id":"Q1199546","labels":{"en":{"language":"en","value":"A simple proof of a theorem of Statman"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94466"}},"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":"Q1199546$B56E3FF0-EC58-4A7F-A377-A6F1A5177BFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba09771badee20a5fc5b215efd64cdebcfa18d1e","datavalue":{"value":{"text":"A simple proof of a theorem of Statman","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199546$8A3436F7-5855-48DD-9ED7-FE77995E4F09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d7c46411906b43beacca829ee06f08aab88d405","datavalue":{"value":"0762.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199546$FD82B6A0-0000-4E8C-AA81-C02EF4EA3200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc4a27d6e7a6db3434071cead7c8c6f117ef51d3","datavalue":{"value":"10.1016/0304-3975(92)90020-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199546$A69F1A8A-B41F-410E-AE74-1C9B8C4F2333","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$3765CE54-FD96-4DB0-AA90-84583A557CEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$08D76895-C4A6-4532-8C74-12688F6944E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199546$4CF8FF7B-9EC7-4F30-A1DF-E7E148654254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199546$BDC61F1F-E22C-4B3C-BCAE-A088A3FDE91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199546$3EAA1A9C-52F0-4B83-A7F6-1FCEC04A9B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd60b018e9caf3920f0e9e9bcd1dd58cd9e72430","datavalue":{"value":"94466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199546$75520F05-1E8C-42FC-B9E1-6FB5AC42AAA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4688150a325ecfc3b28ec8a4746ddffad0e9d0f","datavalue":{"value":"\\(\\beta\\eta\\)-equality of first-order typeable \\(\\lambda\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199546$1200D4D8-3F3B-400E-916F-80203ED73DAB","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":"Q1199546$2DF7C031-1D5F-41A8-B832-99E096A6A578","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$9DED6ACF-9BC1-42EA-BB16-238A0F319026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$1173B126-5257-471F-BF98-B71955BE27F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$4B6C225D-CA24-40C4-AFDC-F71156D70F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$30C221A0-4B78-4C06-A32C-3CD8D9E3A53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ba6ef532c0568e9477b6df6970d5d0da053152","datavalue":{"value":{"entity-type":"item","numeric-id":4133967,"id":"Q4133967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$E83CDCEF-074E-47F9-850B-452D53C021C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$045D8A4D-2440-45DB-9ED9-D18C26559E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$61A6E194-3A76-4351-B5C9-52E8E19CE826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199546$BBF1E207-E80F-42CF-9BFB-51A3081DA87A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e4c03743d8d9aebdb656090dd5f89f950391938","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90020-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199546$E8C0BD69-9905-4AA8-A4FF-572BC6AADC1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6054b4b31bd72b20f3f17b529db1169d5fad7af","datavalue":{"value":"W2016065322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199546$B2052944-ABDF-444B-9C1C-7FB071CD6494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93acb80a4cb02a5233ae9c9d9fac6848ebafcb2e","datavalue":{"value":{"amount":"+0.7897866368293762","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":"Q1199546$49A98E88-0F19-4776-880F-C33463C8A292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f46518e8feddc21780d6a05fb4b9993e1abc063","datavalue":{"value":{"entity-type":"item","numeric-id":4596793,"id":"Q4596793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7ad3fdaa8c068827199f7540d7a5ae740efbfa","datavalue":{"value":{"amount":"+0.7619861960411072","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":"Q1199546$3924635A-7067-45CB-81E1-9A17D2C26361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266f7c05aeded7550331cc2683ce48e2fad020d","datavalue":{"value":{"entity-type":"item","numeric-id":1891155,"id":"Q1891155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e7bb7cb01603ac8d67c05f5523c5bff4656466","datavalue":{"value":{"amount":"+0.7549353837966919","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":"Q1199546$65E7C859-27FB-46A6-A0CA-36CC4A7329D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23060c9dc1628bd92e9ce02531ff52f85143df1d","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e7bb7cb01603ac8d67c05f5523c5bff4656466","datavalue":{"value":{"amount":"+0.7549353837966919","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":"Q1199546$99CA78D3-97FB-45D2-9772-61A269AE689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d465d27195e9892d22a7f9681fc405b78c0dae16","datavalue":{"value":{"entity-type":"item","numeric-id":365669,"id":"Q365669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7752ced1a83683ca77c11c0056bf6d8bd86f1ea","datavalue":{"value":{"amount":"+0.7521541714668274","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":"Q1199546$D438912A-045E-41C6-B914-2D72C5A035CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of a theorem of Statman","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_a_theorem_of_Statman"}}}}}