{"entities":{"Q3613436":{"pageid":5643342,"ns":120,"title":"Item:Q3613436","lastrevid":50603798,"modified":"2026-01-14T13:14:15Z","type":"item","id":"Q3613436","labels":{"en":{"language":"en","value":"Partial Recursive Functions in Higher-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528317"}},"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":"Q3613436$A3B499CD-3114-47CF-A7C0-F80B656CA1ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea06bb6fa104addee6652f3a19eebae1d78ff325","datavalue":{"value":{"text":"Partial Recursive Functions in Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613436$C6A5F18F-CC96-48B2-96F1-D9B3ACD02B52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c363f9693af94131cb764e33ee85e9ed516893","datavalue":{"value":"1222.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$AECEC691-DF2D-4B8B-A279-AD1666480343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b67d25f37de2b0f2457c237e2104be4eb260654","datavalue":{"value":"10.1007/11814771_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$BBBC5EFE-95B2-4C1E-87C5-77A09E318EB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9a75665101462bc01a2c7426c95f31a74ce050","datavalue":{"value":{"entity-type":"item","numeric-id":438557,"id":"Q438557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613436$5A377F5E-73D7-4B08-B8FC-47D1354B2CAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613436$EF93D982-FECC-4930-80DE-D01DE49FEE84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-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":"Q3613436$83C67B9F-597B-45B7-B7E9-218D4C2286CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$9C529BD2-0CB0-4CAC-BB92-D5C336B254B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$3D090B0B-B82A-4E3E-908B-42D3194690E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$D28C90F1-FC0A-4D43-BB63-AEF2BCC9C6FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4c7b4cf7ea71719d6506a66489549f1ec858cf2","datavalue":{"value":"5528317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$76D49F9B-68A7-4F0F-9F24-B66ED2624380","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613436$251837F5-A049-4FFF-8C86-8F78A63DFE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613436$EE7FA302-C5BA-46A2-919A-9A4303B8A23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613436$AD58567A-DD63-4D3A-B238-B7E608C8DF3F","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":"Q3613436$38B9BC0E-A363-4C78-ACF7-4EBF24938E7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"807b8e6d0707662a2481ee630f8a981ac4ead844","datavalue":{"value":"https://doi.org/10.1007/11814771_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613436$24402ED1-FF5F-4B6A-9115-92C442CD4A10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7484f9011576171b956b1a02d74b6ed2c9fbdc87","datavalue":{"value":"W1569975162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613436$FE4B9435-F60D-43FB-8AD4-1521D01528D3","rank":"normal"}],"P1643":[{"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":"cf40485069c768ada7125d62606ee33b1588b986","datavalue":{"value":{"amount":"+0.9542919993400574","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":"Q3613436$73BBE453-5411-46C3-B5E2-CCC4BAF8FB57","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":"75d57ac9b8d8d4255e4badb5e9ef6ba6b4e06809","datavalue":{"value":{"amount":"+0.800565779209137","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":"Q3613436$0676E9EA-FDED-4DDB-B62D-FCF45787071B","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":"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":"Q3613436$951CCC53-9092-4F5D-86B8-33D1D43822F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfed3221a50777b9e0c9ca457fe78020de469a5","datavalue":{"value":{"entity-type":"item","numeric-id":3024856,"id":"Q3024856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1ec8b33b2b9a529818a75f8c21412c188a43e7","datavalue":{"value":{"amount":"+0.7900217771530151","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":"Q3613436$9843F5CE-BC85-436E-8F41-CB6BD0CC6AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41219a08974f1820b6a934c8c33bf903d59a40e","datavalue":{"value":{"entity-type":"item","numeric-id":3088004,"id":"Q3088004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbefaedd830f4b48fb1ccf54d16a6fb6ee83029","datavalue":{"value":{"amount":"+0.7777805924415588","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":"Q3613436$35B7D8D1-B8A1-4DB6-AFFF-DA940F83EC93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613436"}}}}}