{"entities":{"Q3936713":{"pageid":5966618,"ns":120,"title":"Item:Q3936713","lastrevid":55038628,"modified":"2026-02-03T01:55:46Z","type":"item","id":"Q3936713","labels":{"en":{"language":"en","value":"Functional Characters of Solvable Terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752817"}},"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":"Q3936713$6705BED1-63DA-430F-96D4-7BBE03BE7380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecec3f49a46f10c974feade46a1142c6c82a468b","datavalue":{"value":{"text":"Functional Characters of Solvable Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3936713$833E268F-1CD8-438E-9AC1-9B98D8DB73E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a369e6f3b98ef905f496c35f2321cf33a35e5db8","datavalue":{"value":"0479.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936713$B3CC9C4E-83B8-4428-B710-849C86D7605A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936713$68AE2315-9B45-4591-AD8A-C092B990F080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936713$D4A6869B-0D5E-491E-830E-6AA666B52F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67add0efd7322c1f14c581399aafbcf879da2df6","datavalue":{"value":{"entity-type":"item","numeric-id":553898,"id":"Q553898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936713$92937F34-7765-4722-98A6-0514E49A425E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936713$A09615BD-BAA8-4363-B842-6361894269BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3936713$2AA09082-0B6B-48B8-95EF-4AAD4E79322D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936713$C87ED2CE-A4BB-4563-9D09-50CDF5A2713D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8980171fdade1231a6e9847a797cb598cb9e1a67","datavalue":{"value":"3752817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936713$38D7C8EE-9F07-469F-8601-AC90628941DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56be0b93c4dda0f30fe9acb14d9b9a3a7d371a7b","datavalue":{"value":"lambda calculus language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936713$30FC2171-A297-42AB-9FD9-7E8F5A5EF903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e39d9f25586d389715fe92c08fc50b43b17435d","datavalue":{"value":"normal form of a term","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936713$2BD85AE9-8888-4809-9C8C-5876E880B7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a684e7114f8c0650618c8a9c686a3a9a86979b7f","datavalue":{"value":"functionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936713$F4E2BC0E-A853-4933-BEA6-6EEE51804B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936713$66CF03F4-2AD4-4C5A-9C43-A11B9E2EAA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b509c7886ad8021b58cd1949821ddf20654749e","datavalue":{"value":"natural deduction systems with introduction and elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936713$74687DF6-F805-4850-85B3-B615BAB52211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8cbb8a64c1a92761c6b14874dc7f1276da6ddc","datavalue":{"value":"nonsignificant expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936713$9577CDCE-63A4-47CC-9B4D-B4247AB4416D","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":"Q3936713$C4961C01-F3A7-4DD7-81CB-FCBF50E6B88F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cee3414bb935f684dee6d32c3c4f55efb47de5e8","datavalue":{"value":"https://doi.org/10.1002/malq.19810270205","type":"string"},"datatype":"url"},"type":"statement","id":"Q3936713$423B116D-9902-4C2B-88BC-0BBEAB1F7E57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11ee7283ca668ca103083e785f0ba79f33564618","datavalue":{"value":"W2119240423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936713$D7693607-7906-4E31-8886-26603F12FB32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7fa1b841cb828eca68b3409980ca6de3c632708","datavalue":{"value":"10.1002/MALQ.19810270205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936713$CFBF67A8-A8BA-41A2-ABF3-E2EC2E09AFB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3936713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3936713"}}}}}