{"entities":{"Q3698288":{"pageid":5728194,"ns":120,"title":"Item:Q3698288","lastrevid":50328713,"modified":"2026-01-13T20:15:51Z","type":"item","id":"Q3698288","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924111"}},"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":"Q3698288$EF7B4A4A-EF43-42EC-B318-5458122D4997","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2409e886caa39b332ed2b22cc2d0901f5c8999","datavalue":{"value":"0577.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698288$B794DA13-0569-4D3A-A3E2-42D2F707D379","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698288$F3D28785-4715-44EA-88D6-850827F1EB0C","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":"Q3698288$A212A4AB-2C15-4164-AE8B-B38D30E2EFD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698288$A7D620C5-5503-46AF-9DA0-13CE4B9613F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7d812b030d34304bbdd233e4d8277fb6f87792","datavalue":{"value":"3924111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698288$781FAD05-E21D-44C0-8A69-A9239F27458D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b13b73157c55764d5923c5d243e9e6b7d5ba4505","datavalue":{"value":"semantics of recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$C5DF2040-09E1-4BED-BB7E-100CD0CAA777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf04d22291fe0714a2e0375a5081ab285b98b5b6","datavalue":{"value":"functions of finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$10B41398-C91C-4D7A-8D8B-E3B5AD5F318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90a894fefe68b44c5c17f888b312053e28ab937","datavalue":{"value":"Classes of interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$27E5A01C-5E2A-43E6-88A7-5600142BEB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f8632575800ec04a782ce1de9acdca97755eed","datavalue":{"value":"Logic of inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$5BAE3CA6-D69E-499C-93B4-0A0250D4FEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc85de55d92e0aae5accf02dfab0bebcda4f7301","datavalue":{"value":"n-rational algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$F116A289-74BB-47A4-BFE9-908AC2520831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$EF25B565-CF34-4175-AF74-BAEF1A325449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6184b748b4482fe26a9aeccbed53926280da9829","datavalue":{"value":"infinitary inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698288$FBA1CBB9-761C-47B4-8373-05EA8472E896","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":"Q3698288$94141A55-A324-4F71-9DC3-391E706C9388","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f564c3d94c2c5df9834cf7ba05405c27c8f1e663","datavalue":{"value":{"entity-type":"item","numeric-id":4341956,"id":"Q4341956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5777d07d770d3c160783683958d21ccb694ca6f1","datavalue":{"value":{"amount":"+0.762718915939331","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":"Q3698288$A711704E-7FB3-4580-9667-716B10215B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49619c10259c5d09ac5b6bfb00c9ac3d7f0c64d6","datavalue":{"value":{"entity-type":"item","numeric-id":3691649,"id":"Q3691649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd6f0dad2c4c7239677169d4ece921ce6ac76e3","datavalue":{"value":{"amount":"+0.762184202671051","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":"Q3698288$35806C4B-98D3-41EF-B22C-E72BBD4A39E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd6fb18ef84319b324ec5bc5bcc78a971b8993d","datavalue":{"value":{"entity-type":"item","numeric-id":3217592,"id":"Q3217592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebaa619b3202861d38c55998491f84c647d52aa","datavalue":{"value":{"amount":"+0.7545206546783447","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":"Q3698288$45688909-B874-409C-A678-5BFB16BDFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f53db904edc8742f58844bcbe0e7e76cb9cb0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc71ec978a0f25a47cd7e3e28f19f7fd2df0e56","datavalue":{"value":{"amount":"+0.752223551273346","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":"Q3698288$09257B8B-9CD8-4FAC-B4EB-3FAEB0C4944A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e3a86a42bb3b5703a4584456c0700a0b2ed9c0","datavalue":{"value":{"entity-type":"item","numeric-id":3217593,"id":"Q3217593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f2922f370cc4e6f89162f86a51f82ea5b531d7","datavalue":{"value":{"amount":"+0.7500231862068176","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":"Q3698288$FFD2AC6C-CBB3-4944-A2C0-2FB1A6D7731F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698288"}}}}}