{"entities":{"Q3216122":{"pageid":3226830,"ns":120,"title":"Item:Q3216122","lastrevid":48764272,"modified":"2026-01-05T19:43:44Z","type":"item","id":"Q3216122","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881863"}},"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":"Q3216122$66588E23-6314-4980-AFC3-CEF63C9A4385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67888541954081c1a5b0b449c7b02e769132bfe2","datavalue":{"value":"0553.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216122$CA1931E0-FD1E-4FE6-BEE5-B9CDFFA3D0B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3216122$B529BE72-37FF-478D-9B9E-89E2A52DC720","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3216122$22BAE5CA-54B3-4B20-8F7E-5B8D13B48511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216122$300858DA-733D-445B-8CED-4E5E2B463B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dca16f3a339d8acee497748dac270286354726b","datavalue":{"value":"3881863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216122$889195A2-2B9F-4B18-BA73-5FF288E5923A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3baf03ad08556f8453cfb07856587b68425bbf","datavalue":{"value":"algebraic interpretations of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$3617AEE1-7421-4D9D-BA1F-F53C56570068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c16d83928a9c6c9c63b93500051e3b901df246c","datavalue":{"value":"higher-order algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$79048B3B-34DD-4A5D-8F8C-5AE29CAFB35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$DB23451F-572A-41FC-9D7F-23EC2EAD7C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b53373b0aca2e053b729813a6e2aa4cb0c51d0c","datavalue":{"value":"Domain algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$56C4D1C6-D134-4207-B82A-8B8FC5E717AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$FD6C4467-486C-4230-ABA2-04B82B131C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bba1f4e707055969cb9edb9d2d4d9bdf9b9b912","datavalue":{"value":"typed lambda- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$2FEC9A39-BA32-4BAF-A33A-1DCEEA5A6813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad61079c451316647842f8b70c1fbff25865c92","datavalue":{"value":"domain categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216122$CEE95197-2B87-4234-8CF3-3E3329CC6528","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":"Q3216122$450B1510-5521-474B-8712-29AB5B0E2819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9298d71e8911ba88b72c6092572b4b62ecdadd38","datavalue":{"value":{"entity-type":"item","numeric-id":3707383,"id":"Q3707383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12091450fee7c27300040a017b5d3a4dba528ec","datavalue":{"value":{"amount":"+0.8124145865440369","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":"Q3216122$AC9A44E6-01A0-4F67-BDD6-36753972707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7434946b3b30b56ce5add9db1c36c9ffe128eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":5096170,"id":"Q5096170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2265da00fce9b3bde6478f593930e66d465a2c","datavalue":{"value":{"amount":"+0.8030617833137512","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":"Q3216122$F3919C87-7E3E-4E9F-A073-45874A5D7B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e76ba6015d4f4ae577a85ab9aa922374daf9030","datavalue":{"value":{"entity-type":"item","numeric-id":1923827,"id":"Q1923827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da63a1377f13471e1c1d440911a6d9e7858d838","datavalue":{"value":{"amount":"+0.7902688980102539","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":"Q3216122$4FC7FA97-0C8A-4381-98D5-DD00928EEE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94d72a66c7395c4899523a6413f998a34ee8de5","datavalue":{"value":{"entity-type":"item","numeric-id":1177156,"id":"Q1177156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f522df466a726851a2937bcba7cf4ac8fb10d8","datavalue":{"value":{"amount":"+0.7890821695327759","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":"Q3216122$7FA07E26-1D4A-4C10-8089-DA6A0EFFB399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd2172811e43e46d01f55ba21ea8f44c8f3a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3812427,"id":"Q3812427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90465ea2d26a9197d13c537dc24650e2caccce1e","datavalue":{"value":{"amount":"+0.7884071469306946","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":"Q3216122$A0DAF32C-DCD9-4F8C-9948-493870F90681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3216122","badges":[]}}}}}