{"entities":{"Q4023825":{"pageid":6053589,"ns":120,"title":"Item:Q4023825","lastrevid":55207036,"modified":"2026-02-04T19:43:06Z","type":"item","id":"Q4023825","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108365"}},"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":"Q4023825$32B037B0-3598-4AA3-84D2-8615903C8815","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ac7f0578a24326e34d878d6cda42f53ae95366d","datavalue":{"value":"0806.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$FB724954-E607-40DD-9464-D5EBEF8B0ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023825$846EF582-F4C6-45C1-B2EF-5128222E876B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$F39C02C5-34BD-4151-BD13-3A23880818E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$B69269E1-D9BE-4859-9A54-8E94CDB49813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$73F783BD-C2FA-4604-AD8B-1F63C3BF33D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$F7BB8882-3731-47D1-86D9-629E42618AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$9785E771-B2D3-47A4-8BBA-3CE89F6F8BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$07392591-1546-40EC-B33A-DAFB17D679D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$A7FE51C5-7D22-48CA-85BF-DFEA627E7159","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd2ffffb729a12fc6c75f8532fad1c02af81f8b","datavalue":{"value":"108365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023825$87D6F02E-4CEC-4487-906C-8996A6A28BEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41c9da228652c109c97d6ad57e4641b0b1776571","datavalue":{"value":"Logic computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$E227FBC3-1E1E-4D47-B65B-C9455C7B2F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff891cbc20225d32540273ed26f0095470a44a9","datavalue":{"value":"Mathematical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$1A742AD5-6614-4AD2-A377-FE14F6DD6022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad66ee177bcbc6f0fc99669687507040be873ed7","datavalue":{"value":"valuation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$17966A17-10A7-40F6-ADA3-4779BC3B637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$71C3F9A4-2298-41E8-961A-A81CF8BEAF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0a5efe9c2e240e01c85864c8e00f26122d3c37","datavalue":{"value":"semantics of a functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$74B51D0F-E6D0-4FCE-A625-183C1A33BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$410C6ECF-BB72-4C1E-9A09-591C09D69E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023825$FB859DDC-5507-41F4-A089-05161A583DFB","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":"Q4023825$A903EF78-A1FB-4AF1-8CF1-11085CA97B48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2544998a6e23a306d22b6d457af576cfff1c107","datavalue":{"value":{"entity-type":"item","numeric-id":2771587,"id":"Q2771587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea64e8281f44648e2639397d12f788ed4497dbd","datavalue":{"value":{"amount":"+0.7966725826263428","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":"Q4023825$0EA111C2-052D-4C67-9408-CA3E4E7DA6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea64e8281f44648e2639397d12f788ed4497dbd","datavalue":{"value":{"amount":"+0.7966725826263428","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":"Q4023825$C60CF987-99D7-42F0-93AD-CF76051E37EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7126a524e1718191ebc0db63dc1d819e90f83c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91171f4f88236fa855b9a11c97bd8b5bf7e6d48","datavalue":{"value":{"amount":"+0.7964034080505371","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":"Q4023825$EDACB589-7873-4DC3-99B4-8A0B863B6B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35af7d1a485a7297b5acc47a81b40d4aca5d2a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5960823,"id":"Q5960823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91171f4f88236fa855b9a11c97bd8b5bf7e6d48","datavalue":{"value":{"amount":"+0.7964034080505371","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":"Q4023825$60C31B2D-3615-4A65-B5D0-4A48A740ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010222e3b8eccf1b546ba0c56331ff9b719422e4","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7be5d2a25c2171f14a5632284a05b31197929d2","datavalue":{"value":{"amount":"+0.7951601147651672","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":"Q4023825$F1655307-C74D-4691-9A0D-1CB3379CBD2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4023825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4023825"}}}}}