{"entities":{"Q6567725":{"pageid":14178880,"ns":120,"title":"Item:Q6567725","lastrevid":103708079,"modified":"2026-06-06T07:57:37Z","type":"item","id":"Q6567725","labels":{"en":{"language":"en","value":"Synthetic domain theory in type theory: another logic of computable functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876672"}},"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":"Q6567725$D938D61F-FB19-4035-BAA3-2522C9EA9FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78755b181b7a8e4889d9a60be67afb03c7d3aaae","datavalue":{"value":{"text":"Synthetic domain theory in type theory: another logic of computable functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567725$8491FF15-C29D-4DEE-BE6E-79B7F436B67A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e98bebc782988708546c151e605dfce0759512ad","datavalue":{"value":"1543.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$A9BE00CC-6ABE-4EC6-B276-559930B05783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$6F74F4DB-39D1-4967-87A7-45E84C385C64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567725$3F3E2C47-A3EF-4753-9713-8400CB6FDC52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$2474A5B9-1FD7-4388-99DC-9D76DDD55D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$FF615FDD-F6EC-435B-B3D2-5E62828B1B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$93C50EBA-4DD9-4AF2-9684-8119DEB15495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$A7B5FCE2-D55C-4024-9433-784B429977DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$B59F969A-2554-4CC0-9F11-22480B02787D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"669aff07792e0b983adc624078c5adb94084b9b0","datavalue":{"value":"7876672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$DBCF5BDE-02D9-40D8-B890-19B3F932DD80","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":"Q6567725$F2B4E5E6-CBAB-46AA-A4D7-45FFE6213B33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cda777e7ea953253ba5b9527207aacaf2b1364","datavalue":{"value":{"entity-type":"item","numeric-id":1193589,"id":"Q1193589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$4955A7EC-4B3C-4FB0-88C9-5F69792E07C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$F2B4607D-2FEC-4A3A-B589-96250D8E6F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$B32B524A-248B-4BBA-9F3B-E03159996DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24f9204fa7ae0c306a5aa2d063251a2d56e7137","datavalue":{"value":{"entity-type":"item","numeric-id":3918651,"id":"Q3918651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$55E04CF6-A7E0-4D4A-860B-CE883B36C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$F09FF85B-44F9-430C-B00E-102B5C3DBC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$81B58D0A-FF2B-49BD-A1B8-1D9961BFD016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081b6e8c27d6dc63a9d412620784bd0488fbcd54","datavalue":{"value":{"entity-type":"item","numeric-id":4335371,"id":"Q4335371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$B2A4DEDD-BC06-4574-95FC-B9A0973CA58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567725$AA630727-808B-4459-9A67-BBB00D4B24B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7815aeaaf3784616111fc160ccdfc1c44e6e4c85","datavalue":{"value":"10.1007/BFB0105416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567725$89CFC65D-6997-490C-BBBF-CCDB0AC522D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d31a1939b7e893a04b16b337fd391a8c5a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4335371,"id":"Q4335371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069fd45d2a7fd8b9763773009652999197a41293","datavalue":{"value":{"amount":"+0.8421720266342163","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":"Q6567725$2008FC8F-CB95-4AA8-9879-3DA32E18028D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f712d4fdb32936fdefb5a269f6c441dd791e2be","datavalue":{"value":{"entity-type":"item","numeric-id":1961922,"id":"Q1961922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974bdf78c7461389f4e1cb2b2affd67a80f9de50","datavalue":{"value":{"amount":"+0.8026730418205261","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":"Q6567725$214E9575-2E8B-441E-8D79-7468A8EDAD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67a01ca4f4751c79004e9e9c9698a0847ace9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4248542,"id":"Q4248542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1467ecd9ebd2f9c53037e345238243ce7bbc67b6","datavalue":{"value":{"amount":"+0.7945220470428467","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":"Q6567725$385182BB-7AA3-4503-BCD9-175BE552A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7b66699456ffd7f6f5a99ef6ab6b354036e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4362975,"id":"Q4362975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac56c0d2da257e853af0c46d40b06a39379ffc77","datavalue":{"value":{"amount":"+0.7873057723045349","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":"Q6567725$1BF2E0C3-A22B-41A4-835A-6AE6AB97975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce10c268bb140794905fb04bd45f260514c5b104","datavalue":{"value":{"entity-type":"item","numeric-id":1306715,"id":"Q1306715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce88c2c920ee3ba14c1a9c3682028270f4b157ee","datavalue":{"value":{"amount":"+0.7535897493362427","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":"Q6567725$47AC2DFD-EF37-4F22-9640-BD8020189C14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthetic domain theory in type theory: another logic of computable functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthetic_domain_theory_in_type_theory:_another_logic_of_computable_functions"}}}}}