{"entities":{"Q1704599":{"pageid":1715340,"ns":120,"title":"Item:Q1704599","lastrevid":43285572,"modified":"2025-07-23T13:54:41Z","type":"item","id":"Q1704599","labels":{"en":{"language":"en","value":"A model of guarded recursion via generalised equilogical spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6849021"}},"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":"Q1704599$79C44C57-2379-4188-A5BB-518EADAC4B5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ecfe54868cedf0ea18438a39d6fee4bd6bcfbe2","datavalue":{"value":{"text":"A model of guarded recursion via generalised equilogical spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1704599$5455F9F5-0D84-4673-A722-689B67C9214F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"351a11a344c19b4f1596b87246315f35ea71dceb","datavalue":{"value":"1388.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704599$6BBF74DC-8BD6-4561-98AB-41370CF65E41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$C334A492-06F1-41A9-B35D-2ECF113BD8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$5CED94D9-AE7A-4BF6-B0E8-FF6F9A54B51F","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":"Q1704599$1BD2FEF3-0B23-40A5-92B2-7608765ADA8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cc8ff785145483794beca95dd57f9ed4de5b6fd","datavalue":{"value":{"time":"+2018-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1704599$9E0E96D2-19D9-4EBC-A047-BA254C428C91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704599$541CB818-5AF9-4007-BF49-A7831FAC2D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704599$D7013177-6ECA-4063-BF4A-32686F2144AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11da8a7cd8956a83cc3b197d42454214efb6706e","datavalue":{"value":"6849021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704599$C7628DA6-7F53-40A8-8A5B-10835021A1D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704599$E1222A49-12B8-4E12-9F41-91633F09895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704599$0A20840D-FE4A-4319-BF37-ED1438575583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704599$94824294-C921-4568-B6A7-82D914C843CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e470c666bc1c13b7c51456407f3c1428b4ea62f","datavalue":{"value":"equilogical spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704599$AC6267E1-1285-498B-9B5D-28B4B89DE51B","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":"Q1704599$13909EEA-DAAC-47AF-8322-8E9EF1B125C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8548945351a97c15ef5b7b4b6688ff4ed0adc7a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.02.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1704599$3858A3BB-C57D-4839-928D-EDD8A2D702E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c738b1e687dce7c8f7428181d9bfc94504ff5a3","datavalue":{"value":"W2790472081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704599$9E3DCC41-A4D7-4477-8AF3-6A9BF3079B33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$D30AF916-E67F-497A-BDAA-0B5BE1E81E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$94B657C0-35FD-4B2D-B51B-CC49B9DF07B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b31b575e47dfd1d659e1854ca22dd1d3ed3e39","datavalue":{"value":{"entity-type":"item","numeric-id":1826625,"id":"Q1826625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$194D3AC6-5FB3-4FD3-A698-E8E58C3FED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$BBD6AF63-A4D4-4DE7-8B7E-C33B9EA5C19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175cbf8a20822167166d2c3042a8727801090085","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$E056B198-35AC-4FF1-A6EB-02D38A281F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070a7224feb80e0f15a55db3d164e08b6e83362e","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$D500F661-8AA8-49FB-92F9-F1BF0D4917FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$51D002B6-95AC-4F26-90F6-8CA53BA71F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$620223E5-648A-4C9B-91F9-3EAD4BAAA4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$69008315-A6DF-4A98-A939-2EE615FC5BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$85F6BB83-CDED-4121-9803-74F99682207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$7AB72CF4-EAC8-481C-84D9-D3716018A25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$7D2C8860-3BF5-407D-89A5-DE8C5577AE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bd49baa9ffa9aa2d88d399d90530dbf157096","datavalue":{"value":{"entity-type":"item","numeric-id":2850841,"id":"Q2850841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704599$64FD9CE0-4C38-4E86-8C7A-2AF09BC8AB72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2715c7befb653fb440bb2bf972b3b9f7572271c","datavalue":{"value":"10.1016/J.TCS.2018.02.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704599$DE8FAD74-FD63-49D1-805B-326D5DB6009F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77168cabc5174e77410c253f991d7f9d9a80ddd","datavalue":{"value":{"entity-type":"item","numeric-id":4992899,"id":"Q4992899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de619f4c3ba3fa34a10017e34f68732bebeddcc5","datavalue":{"value":{"amount":"+0.9049179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$DCCB64D7-C8EF-4547-AE30-B2CFACC3DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59127b84627d93776ac99a559e39d19e81aa1b47","datavalue":{"value":{"entity-type":"item","numeric-id":2567341,"id":"Q2567341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965a7eb3bb9c619b5327c695739c5beb3726cce4","datavalue":{"value":{"amount":"+0.88708454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$1C9C88B7-016C-4955-AFE9-3562A8E9215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41f81735e523c06416d3d6f7e4c762d3a5e55ed","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbf90e922d87bc1860516242cf0e83ca73b0025","datavalue":{"value":{"amount":"+0.8855432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$EE6B55D5-A663-43AA-A230-B7BA0F3D7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5424bde4f02ef3386940aa10255ae147bb9593b","datavalue":{"value":{"entity-type":"item","numeric-id":6083895,"id":"Q6083895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59f238c41777b18941f5fe0d809d2058133448d","datavalue":{"value":{"amount":"+0.87972224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$181D120F-DE1F-4DFB-AF82-B0F40607BDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3fa1b2809a248c3f1c00a31447e2fefad07726","datavalue":{"value":{"entity-type":"item","numeric-id":2996155,"id":"Q2996155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f73420cee911766e546c31c8c2fc552ccdeeb8","datavalue":{"value":{"amount":"+0.8795133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$2A75D7C4-7701-42C1-9E79-BF5AEBD0CDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c1e97cc66915d1d156aa89fdeebe15562f7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1813969,"id":"Q1813969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3112ce24e4bffd394dea217d3f7e5a438fbe933","datavalue":{"value":{"amount":"+0.87894344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$4BEE18C7-CEFD-4CB9-9D66-65C75FCA830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3625335309671432f5dc50844cdc979bd42b0b56","datavalue":{"value":{"amount":"+0.87568295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$BEFFD304-F350-4326-96AA-8FAA3F100076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7bb19972e15a7516bb4865049ceb970044ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4647097,"id":"Q4647097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0b52af634954801f032ff12f1ec6ef45c5f3a0","datavalue":{"value":{"amount":"+0.87464255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$E5181B37-AC0E-4003-BA89-B9704A397FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523e7a24d41b37a87f2d7aec9e445c950cdc4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b45f2e7472a79678ba53c7d793948c7338e838","datavalue":{"value":{"amount":"+0.8742969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$1BCEF1BC-A1E8-4FDB-A1FD-A20B782BD0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e691b540aff59dddc761b99e49777d978e5ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4b9eb8fa2a301e81cf2371bcbf973bfa4214ff","datavalue":{"value":{"amount":"+0.8739666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704599$CB81982B-60E1-440A-8185-66F3E263B981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1704599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1704599"}}}}}