{"entities":{"Q4910419":{"pageid":6939998,"ns":120,"title":"Item:Q4910419","lastrevid":58359453,"modified":"2026-04-04T21:18:49Z","type":"item","id":"Q4910419","labels":{"en":{"language":"en","value":"Partiality and recursion in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145833"}},"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":"Q4910419$47C011C6-4A79-4B3B-87F6-976BB0366465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e480ed615ef140290e86bd5c8f57b46ac3e0067","datavalue":{"value":{"text":"Partiality and Recursion in Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910419$1A874514-C070-4742-BA39-995F75286084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34595e78bc88220d84a59303a06146e0b883acc2","datavalue":{"value":"1260.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910419$F5823E13-AC34-40DF-B6F5-62DE210EA8D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"181bc5f99d47b03f00074d8c7644703bbea260ab","datavalue":{"value":"10.1007/978-3-642-37075-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910419$5C25A57D-21FB-4BFC-B116-EE8AF8EDFB5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6522355932f1e9a9cd2b2f5c6e08a7adfa3b7ed","datavalue":{"value":{"entity-type":"item","numeric-id":1663239,"id":"Q1663239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910419$7C1EE45A-5677-428F-B4E7-B05F7D4EEF41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910419$A462F841-0BB6-4FAC-B22C-D7CAC0609F1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910419$AAE2056B-FA0A-4F6A-AED0-E57C493542E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3395d53504f62c1cb405fad66964c56fd006e8c2","datavalue":{"value":"https://arxiv.org/abs/1210.2039","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910419$2DC2CD65-604D-4047-B0D0-301575243E84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910419$209FB259-DA48-4E85-964D-DFF1316D7A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910419$0CF8F830-5913-4643-998E-57B2E8DDDAE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"064639155e0fbf8e9680fd923a9a10d62806b55e","datavalue":{"value":"6145833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910419$0DB1F670-45CD-4062-A49D-6330D1D20C02","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":"Q4910419$E283E8A3-F043-491F-A96E-E507F39909BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94d3e7ca96e09a23a26fc47ce137c2e5b351450b","datavalue":{"value":"W2167930391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910419$4385D800-C880-442E-92C9-782E3FD5D97F","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":"2ca62c3e852f023b48e10dac06f2e83f966ca3a5","datavalue":{"value":{"amount":"+0.7975373864173889","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":"Q4910419$B8BD48B7-8DC8-4C05-9B84-256005E8C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63392152ceac32be176b948e503f3e589a506710","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f355ad66ef695152dfc6c0b9ee3842b4f4d4d56a","datavalue":{"value":{"amount":"+0.7928287386894226","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":"Q4910419$8299323F-5202-401C-8F26-1042E0E8380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f888618d818401fcdd9f6cd0131765ff1d4e07c","datavalue":{"value":{"amount":"+0.7868397831916809","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":"Q4910419$FCB72A6C-62B8-4B26-A2EC-3871A23FD8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440dc45fe12ba49e3b57641cd80d0036bdb1f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4283237,"id":"Q4283237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd3e57420c069c3a8650b52fc3096c1904ac2b6","datavalue":{"value":{"amount":"+0.7858138680458069","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":"Q4910419$AEBB77EE-5710-442D-A889-89E099FE97B9","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":"df51672356fc29253b2e8c8fc0fe1007f409cfe0","datavalue":{"value":{"amount":"+0.7809030413627625","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":"Q4910419$1665616B-8F5F-4F41-87CD-A6BE6CD5995C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910419"}}}}}