{"entities":{"Q817692":{"pageid":819540,"ns":120,"title":"Item:Q817692","lastrevid":64565340,"modified":"2026-04-11T20:44:48Z","type":"item","id":"Q817692","labels":{"en":{"language":"en","value":"On modal logics of partial recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013028"}},"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":"Q817692$73391BA2-D6F0-4220-BE99-45B861EB4BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0b99b88f10637b2f94e703e0ace3dd8670f0fa7","datavalue":{"value":{"text":"On modal logics of partial recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817692$C349C1F1-2E55-431C-BEDD-73A854CD300F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"226a3a2f44a37996847805410c8b4c6af5631f0f","datavalue":{"value":"1097.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817692$1AAD0A77-A4D1-4455-A30C-482FE9E6E0AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871cefcb8948ab703a5bab71322354559a823f68","datavalue":{"value":{"entity-type":"item","numeric-id":306823,"id":"Q306823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$FDBC9C67-F783-496F-8EB7-B0B4C721D679","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$AC14A9DD-5E50-407E-9B39-5DFCD8021813","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817692$92F6355F-5CAD-4EAC-A86F-1C7EDDB6A1EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817692$5E0B3E24-7C8C-4C49-B93D-06D434B12DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817692$525A160F-1852-4336-924D-F054A4F6E846","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e08073879cde5f2ed44dc3379bf8da9f1dd668e3","datavalue":{"value":"5013028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817692$421812F8-6B26-4D18-9D3F-B899F8A4BA51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817692$16CFC4F1-33DC-45C6-8347-0FC3EB2E28E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q817692$2CF5829D-454D-44EE-A9DA-A703B871FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q817692$00DA1AAF-B4AA-4242-8384-AC6A9CA315A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$06156879-E6D7-4F7A-8CE8-C5D3924C7777","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":"Q817692$400A722A-2370-4ACE-973C-4E987545713E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65a18ae0bebd73eaa9a609a1596be9e35788280c","datavalue":{"value":"https://doi.org/10.1007/s11225-005-4646-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q817692$65F40C66-4951-4996-943B-7171EE553A75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"260ad1804f566a2ff2e36e3fc74c84f4b5c4a960","datavalue":{"value":"W1855671606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817692$14D4BC7B-C8A8-432A-8062-754B8E75616E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$406BDDF3-761B-404E-A42F-45EE224BEED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$5ED56354-4C56-4F1D-A6E7-5CDB42E64A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60facddfc77a4ec30a3c2b2c8df80393a115cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":5834321,"id":"Q5834321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$DAA1E76D-EC82-406C-904B-26E79D905B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$292810D4-D99A-4DD5-B300-36E304061E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac58e4be8f168ea8903b19bb0533d3dc63a9aa84","datavalue":{"value":{"entity-type":"item","numeric-id":4783332,"id":"Q4783332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$F11D9C57-10C6-45A6-92EB-715C6A540FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$761A5FF6-3198-434F-A719-82A024868476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$23ECCAFC-FBEE-4343-B6A3-E815E42AAA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffde2ff090b72d14646477b9998f9cce892481ed","datavalue":{"value":{"entity-type":"item","numeric-id":2500487,"id":"Q2500487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$2939D6D9-F2C5-4E9F-83E0-63B6ECD0CFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04102d719d2f6444879aecf1fabe960f36873b5","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817692$8E97B6A7-63F0-4168-9ABD-544D2CA914A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"715182d0d1cbdb4134e41b294b7c09916aff61bf","datavalue":{"value":"10.1007/S11225-005-4646-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817692$9CA8781B-CE42-4E39-8240-FB58DED618A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33dbf764138f812d35e37589bcb282274e2082","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b64b3d047e42be2a9f080560f6a3ca3b0d85e5","datavalue":{"value":{"amount":"+0.9238557","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":"Q817692$6D4BF356-535B-4E6D-84CD-4498421431B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a230f0bbce46385ef435a7d5dd7cc009aed961","datavalue":{"value":{"entity-type":"item","numeric-id":3691637,"id":"Q3691637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7ba0634cb144f0a38e9fdf549d3c9be960b4e9","datavalue":{"value":{"amount":"+0.9223435","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":"Q817692$71639843-AE14-4A20-9B77-419FC769D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c15c59c0eaf3a881eb72640df088e435697580","datavalue":{"value":{"entity-type":"item","numeric-id":4910419,"id":"Q4910419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8059b1730883c40c42477eb8d9626a523da738a8","datavalue":{"value":{"amount":"+0.9156188","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":"Q817692$363CCE31-DBA4-4054-B1F7-99B00AE4426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc68cc3d46dac776e2b85259f27d0f30f32b163","datavalue":{"value":{"entity-type":"item","numeric-id":3358718,"id":"Q3358718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f1936415ea135e05da29214f7cafe86d7444f1","datavalue":{"value":{"amount":"+0.9128873","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":"Q817692$94A27D6A-589C-4A1E-BE65-5F37A3F5011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a21216162bc821efecddf32071639250e76e1ee","datavalue":{"value":{"entity-type":"item","numeric-id":2366529,"id":"Q2366529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12a4a1bf9754a31fbededbdc28e8371ea81a1b7","datavalue":{"value":{"amount":"+0.9047876","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":"Q817692$6AC5787F-A3E5-4843-A95B-DDCC56077049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822bfcfd4d27cf20d406c3b19d2c798a4fd1fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5304c7410d3eb15b843b5c50e584b2377fc58323","datavalue":{"value":{"amount":"+0.9045919","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":"Q817692$D98292E1-92E8-44BC-82F5-DBDBD691702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3504cbf6f8fcd06cc7cfbce9142ad4225620f65d","datavalue":{"value":{"entity-type":"item","numeric-id":2819022,"id":"Q2819022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999010f6955ce5f4f906e8f7c0eae30dc2f452de","datavalue":{"value":{"amount":"+0.904282","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":"Q817692$CD073011-4C1E-44D5-8929-D9F65B77D5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e0626ad621832850e5d217bae1fe537e13df7a","datavalue":{"value":{"entity-type":"item","numeric-id":3835445,"id":"Q3835445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1222aa91ae26e833a4bf328010b56cc789d195","datavalue":{"value":{"amount":"+0.9019157","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":"Q817692$85CE2955-10E4-4B0E-94DD-12DA69A6E21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e7fa814db69e4e837d904344551cfb9f61dec","datavalue":{"value":{"entity-type":"item","numeric-id":1708100,"id":"Q1708100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db6b079c6aea31df82ba9825d91f366cdbc6a24","datavalue":{"value":{"amount":"+0.9016155","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":"Q817692$E6AA51C8-2648-4832-8D5B-6DCD24FB9B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5b0d7147ede089fe5b452f3d98f60271346200","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93930475484eddec042965e19f35897f208da15","datavalue":{"value":{"amount":"+0.89647365","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":"Q817692$F1D2FEE6-9B97-48CA-9CFE-C824BB987553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On modal logics of partial recursive functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_modal_logics_of_partial_recursive_functions"}}}}}