{"entities":{"Q1322479":{"pageid":1333229,"ns":120,"title":"Item:Q1322479","lastrevid":68461395,"modified":"2026-04-12T23:52:01Z","type":"item","id":"Q1322479","labels":{"en":{"language":"en","value":"From term models to domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563084"}},"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":"Q1322479$453D4CE4-11D7-4898-B44B-2FDD2E56600D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c6fc2ee656a50e77faf1ab52deba1ed9d907542","datavalue":{"value":{"text":"From term models to domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322479$C23E6109-5B92-44CC-8885-64A78EAA0FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa1eb894304a5017e65eaeae2fbe63823ffa891","datavalue":{"value":"0796.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$28611BDA-513C-4BB6-B1F8-055958C02199","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"642309ed1e8b9db5cfe1a35ad5fdc89ce74673bc","datavalue":{"value":{"entity-type":"item","numeric-id":1322478,"id":"Q1322478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322479$5F0BD63A-0ABA-4AC4-9C30-30E54D1F261D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322479$496C29EE-AEAB-4905-8201-6864E46A16EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322479$FC2000DB-88F4-4EF3-86EE-F2F9D33140FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$CEDD9CE1-B230-4660-B154-13DBF72F5899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$EBF199BB-ABD3-4EB8-BB2D-4059B510EF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$6737FBC6-DC27-4526-9D3B-1D8E4E967D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$558F76E3-0B09-4A95-A4E8-630881471870","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8098d521d954dbedd9231969ba9fe06ffb0567d6","datavalue":{"value":"563084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$23DC5B89-8093-4455-A93B-AB94D7D55AE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d98bed084948c9a1462a448c49db6019a1f9802a","datavalue":{"value":"closed term model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$0B6840E9-CCBA-4213-8182-7818ED0DF725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$AD17A0A8-9C8D-4A8C-BFAD-39A7D628CFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$5D136FB9-51DD-4022-B96E-6F1A9AB8E17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$D18EFB1E-99A4-4785-B4CA-2651D5DCE258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$914C50D7-2E4E-4DB2-AF65-A939CE814BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5fbfee41c6376cfe4dcffda5afe71c6c470d4e4","datavalue":{"value":"model of constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$8766E029-8583-4C34-9416-B07F30E417E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47d59bccb512ae0ba909c02b1d1cbce18e547b2","datavalue":{"value":"partial function spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$07AE478F-2208-4202-BB2F-43FA02EB37CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60ed5b70c766be548364d4b6100795eda0686cb","datavalue":{"value":"fixed point combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$E2B1433F-1105-463A-B5E2-25F5000AC78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7992c39c3979b8fd94dc0b63c7e71cd00e4ac7d0","datavalue":{"value":"categories of predomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$CB602359-9A68-41D2-BB3A-363FB65B4F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f54daaef9239e9423437ee0ff8fbf885528fe","datavalue":{"value":"reflective subcategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322479$22E08784-AF41-4CA6-9247-00AC1A525589","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":"Q1322479$C8BCDF69-DA40-4659-A368-36BF5FF581DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae19737c6b96db669c2c504b828d6ca2839d326b","datavalue":{"value":"https://doi.org/10.1006/inco.1994.1017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1322479$E32760E9-A17C-4995-B228-00CCF60F790C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e9143783ca21d834c45f0515b2e3a55e4848e5e","datavalue":{"value":"W2102574008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$9BBF3755-7D4D-4F16-9B77-C13C6752BDDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f51eb547e9e258c1e1852fca9832cb59bf632a8","datavalue":{"value":"10.1006/INCO.1994.1017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322479$AF3F04B5-E341-49CE-B1AC-708D7F2F8AE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50fe0403c890524c14042cdf25f10f16b81aed3","datavalue":{"value":{"entity-type":"item","numeric-id":5096213,"id":"Q5096213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76de67142d00a6257215f6a7df57eafee357ab90","datavalue":{"value":{"amount":"+0.9660673141479492","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":"Q1322479$652D6CA1-EAD8-4DC0-BFC5-FE281DD34E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab4776533fcc0b85eae706aa1efa7a4435e9503","datavalue":{"value":{"entity-type":"item","numeric-id":4279258,"id":"Q4279258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639630f7e7ce9ddbb18bc710d56fb173bda9a937","datavalue":{"value":{"amount":"+0.8531986474990845","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":"Q1322479$92E0B9CB-A144-45B1-9A54-CD4FAF6ECF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac6f1f9c9cf6136fdd09d3abd658c561700a608","datavalue":{"value":{"entity-type":"item","numeric-id":5426073,"id":"Q5426073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab65586bc695492c34eef96f0e485676c0804a5","datavalue":{"value":{"amount":"+0.7837797999382019","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":"Q1322479$37E184E0-C15F-4F32-99CE-0E153481B799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7754adfd53f04f71ad12680b3861d5216888be","datavalue":{"value":{"entity-type":"item","numeric-id":4260391,"id":"Q4260391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc85cea742b585226df58500e79c0c54ef81de2","datavalue":{"value":{"amount":"+0.7828329205513","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":"Q1322479$6C4C1C92-BD03-40ED-A385-EC96DB2C86A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750326af95ea15f9861b14a64b43e63cc7161a22","datavalue":{"value":{"entity-type":"item","numeric-id":1275633,"id":"Q1275633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fe1584443fd60f81490a53ff6730b7fb7dcb56","datavalue":{"value":{"amount":"+0.7792090773582458","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":"Q1322479$F8A31040-9941-4C0C-AC99-4A505B90670B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From term models to domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_term_models_to_domains"}}}}}