{"entities":{"Q3745258":{"pageid":5775164,"ns":120,"title":"Item:Q3745258","lastrevid":50980574,"modified":"2026-01-16T01:45:32Z","type":"item","id":"Q3745258","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980461"}},"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":"Q3745258$0BF80774-187D-4675-AE30-B6FB2595B3C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e766ba31d914d25ea349a53c8d42555a245a2efe","datavalue":{"value":"0606.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745258$100041E7-5AA8-47FC-9893-F7E8434621FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3745258$832F279A-5F8B-472E-8E12-99F19D3EEC86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745258$C0A5B65F-6B6A-47B8-809C-4D5DD28FE39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745258$FB44B7DE-6A38-4B16-9096-29583D31AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745258$B51F09F7-F95F-4EC9-A00C-455B9F0F01BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8967415011d01dde2de762e80da598136d64d0ec","datavalue":{"value":"3980461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745258$BFBB30F4-7E98-4E26-BD73-0EEBB51AC189","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c3c0b7399fd38b263685c286821013767df6bd","datavalue":{"value":"finitely typed lambda terms with fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745258$468CF780-FCED-432B-B677-650B19FC0E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222233be603b2104d3b2d6febdf6fac9256b3b53","datavalue":{"value":"Hoare Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745258$2D4BAE91-B9C0-43DD-B5B5-4BD2722E8B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745258$DB79161F-78DD-4E33-A9B0-D938081F358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711eb0cf8a7fbd2456999de50bbe84b19bf9fa45","datavalue":{"value":"higher type recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745258$32102924-AD68-4459-937A-3E2E6ACCC4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0ecebef5ec10767bb0e7771d1e1ca896cefe0b","datavalue":{"value":"first order oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745258$B32C2FCE-C62C-4854-B3FB-A95B5A0FFD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7f146de91f205b12272f3fc0714922e2565237","datavalue":{"value":"programming language with functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745258$3F211A37-87F8-43BC-8208-168A1F7E2618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745258$2BB1E54B-8864-4D5F-A6A1-1A5C826B7DDC","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":"Q3745258$EC7CCB67-8B1B-4A0B-BB2D-4C9095979E5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ee2d65eb2a595630ded28a2527b358f4eca66a","datavalue":{"value":{"entity-type":"item","numeric-id":1314352,"id":"Q1314352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301ca5acde811cba09794bfca17c83df907e801f","datavalue":{"value":{"amount":"+0.88933665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$C9E327A8-A6CD-4623-A22E-6373967AB2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f82f248b527e49d2f512f8238e703c5d9a7b5d1","datavalue":{"value":{"amount":"+0.8854817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$F6F91C0C-6333-413D-A701-509755C561F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f379da2a66f51fb79c607951bff40a686e057a18","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5816908e50a649c751551a1b242a6e9a4c6147","datavalue":{"value":{"amount":"+0.8739094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$06EC3123-1BA6-4580-9B42-5696D475AC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3788954786bb5224a00826baf10f48dd927c1ab","datavalue":{"value":{"entity-type":"item","numeric-id":5898846,"id":"Q5898846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11111e790fb60500519233537c4b13925ddcdef6","datavalue":{"value":{"amount":"+0.87183505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$F86B4AFB-623C-4E5E-8976-3D1D165C3C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd65fcef8ce46de883ad301133fdc78493610b7","datavalue":{"value":{"entity-type":"item","numeric-id":6176573,"id":"Q6176573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8d795fd3d5099a96e0fc380ebce8c90a434768","datavalue":{"value":{"amount":"+0.8697332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$1449DDC7-0150-49BE-B13D-AF975E485FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5771d211463558f9059768007c95f170aa5b439","datavalue":{"value":{"entity-type":"item","numeric-id":4635654,"id":"Q4635654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acb6d4c88157a8c3bd6221d54b755df15b09412","datavalue":{"value":{"amount":"+0.8697049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$CCCFAADD-B9A1-42BD-B18A-B080F150304B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5025f766e9db6dc973381fe543770a05462a48c6","datavalue":{"value":{"entity-type":"item","numeric-id":3507448,"id":"Q3507448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ad580448fc9f801de008e479ee5e0679dba448","datavalue":{"value":{"amount":"+0.86922574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$2EFC7E26-406C-4112-9D5B-C0DC6676F667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b5a1842975a4d188a8c6221e0c6b1e5ae1eda8","datavalue":{"value":{"entity-type":"item","numeric-id":4435459,"id":"Q4435459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a0834035ac16e3a30815e362bc3d330e2ff2ba","datavalue":{"value":{"amount":"+0.86640894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$002203C4-6115-465A-BB2B-64B4FBE92307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c81a4f20a81aae79dbb69ab441616cfe86f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5591512,"id":"Q5591512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd023669127c29637dc7ec04dec9b592316cb16d","datavalue":{"value":{"amount":"+0.8660663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$E604C469-9B06-42E0-A6A9-5B3181411BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a940f134dd0a9eb9d1b7f05231f4516f87efb52","datavalue":{"value":{"entity-type":"item","numeric-id":4945204,"id":"Q4945204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e293be00fd0ff666b9c20d5afac07be76520415","datavalue":{"value":{"amount":"+0.8647146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3745258$AF0CADFF-29FB-4B43-8E00-275A459318F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745258"}}}}}