{"entities":{"Q3703866":{"pageid":5733772,"ns":120,"title":"Item:Q3703866","lastrevid":50422151,"modified":"2026-01-14T00:40:06Z","type":"item","id":"Q3703866","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928956"}},"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":"Q3703866$2EF4DDAC-948E-4186-9E07-DDFF6D46081B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d5005030e236ba2c0e7ed43c0f30449e6dfe339","datavalue":{"value":"0581.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$0F722F7F-7882-45E6-B33A-BCD748410370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703866$4003BF23-10AA-4A78-B8C6-517CE73B6060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703866$A0392B3F-D240-4773-8C37-7033F1D441AF","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":"Q3703866$978F3DB7-B6AD-43A9-8B86-A8DD345A11E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$8E82A1BB-7006-4B46-8456-2ACEAD293C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$E17B18DE-1152-486C-8A46-F7CE90C42E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$80453A2B-22EF-4031-A838-2A676F747F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$92679F5A-6B17-4F59-BD81-E5DBA2510A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$86F3AA4B-BA7D-4DE0-981D-E136D78EC917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$DEB44516-FB55-492C-B4E8-C7332CB43039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$479ADB9C-DB53-4BBA-AC0C-8DC12325E3C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53a17f87cb0dcd8f4cc38065a75542ab86d0999a","datavalue":{"value":"3928956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703866$8E82C8AB-600C-4834-AE6D-052DC3877D22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703866$D6F15578-391F-4C7C-B0E5-31B80A5A7316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341c2f07f5da628699e6f45943758cd8667a9285","datavalue":{"value":"theory of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703866$7D783D3E-B264-4E0F-A330-39085202A8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703866$548554D8-6293-4E84-A38F-8E7A8EE121F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703866$788B1523-D506-4BA5-9C84-84BB99D72418","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703866$DC3F12C3-2BF4-4782-A6B4-3D1164439C08","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":"Q3703866$E9084B6F-B398-4BC5-A9D8-DC1D11F68831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bd9f2f511e82abc41ce1f38ff8727559e8b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e05b54ad0efc67e7f44557dc36d42356f62e73e","datavalue":{"value":{"amount":"+0.7861169576644897","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":"Q3703866$0DF27CA6-C511-4382-8728-9381FEE01D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef6ecccd9c3863140c9acc43b3d048362b40b79","datavalue":{"value":{"entity-type":"item","numeric-id":3030827,"id":"Q3030827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7872db00a47cc73b613d9034d1f9ecf19df2000","datavalue":{"value":{"amount":"+0.7729464173316956","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":"Q3703866$1537DA40-EDF4-4A79-9B2A-00D2E539F353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5287e0aa1e87217bd42cd2d66e24afc654f209","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d241b3e850b0f6708eeb6660f60d05f44cc13f","datavalue":{"value":{"amount":"+0.753627359867096","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":"Q3703866$7AB85CD3-D04F-4BF8-A8DE-CD6C7E07BCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67cdd104d863c39b0565ae3b3af9db913af6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3826519,"id":"Q3826519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ce59e8cc0feed75730a82d5609264b5471dbe4","datavalue":{"value":{"amount":"+0.7434475421905518","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":"Q3703866$CCE7DBB4-94B2-4D93-9226-A251D4589DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f8ddf71b2d5cd28cd251b780e95170840ac8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1408657,"id":"Q1408657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04409d369a7ab134fbae2e4127d83e7faf840f7","datavalue":{"value":{"amount":"+0.7376902103424072","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":"Q3703866$949BC361-5BA8-4394-8B67-673496DB945E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3703866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3703866"}}}}}