{"entities":{"Q5168881":{"pageid":7198453,"ns":120,"title":"Item:Q5168881","lastrevid":52044674,"modified":"2026-01-20T20:02:18Z","type":"item","id":"Q5168881","labels":{"en":{"language":"en","value":"Superficially substructural types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318858"}},"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":"Q5168881$68F38F77-62C5-4399-B466-CDA93DB44E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d66acbf0cbc5ae5daefaf3a3937318dad6f7567f","datavalue":{"value":{"text":"Superficially substructural types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168881$FE315FA5-6389-4419-B172-0BE4697AFF2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3efcedb076a5e8de4f60666774fcac674a3abd3a","datavalue":{"value":"1291.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168881$4E64CCFD-838A-4570-9896-BD7D48007D25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2c2d89c260db5018c9a0650ce83a18734de56ce","datavalue":{"value":"10.1145/2364527.2364536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168881$F39C5587-AA0A-45E5-BA39-B6E5F455AD23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168881$575983B3-1E6F-4A3B-BF0B-7CE6572C891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bdc1b6532b18afb5587dbfadeeabefff6b21cc3","datavalue":{"value":{"entity-type":"item","numeric-id":2819853,"id":"Q2819853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168881$F52F2ADB-C26C-4C2A-B626-43E56BF5A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168881$FF52255B-6C38-4F8F-A288-959465CB0741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b6ed5eb3ed9fff3c6429e68d8bf1ac9d63219f0","datavalue":{"value":{"entity-type":"item","numeric-id":1615409,"id":"Q1615409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168881$8D2626C0-3F47-4DE3-8477-C19C7F90B856","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168881$38FF4EF1-2166-4FB7-9CEC-8B227AA46763","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168881$6B2FCB18-B062-47ED-AC30-D61B5B381BEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168881$57AA791E-21F6-4EFE-95E3-B6BD0BFED686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168881$AC8CC13B-CB4F-4DCF-A368-EE5FF5B91779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76d0cd71cea51ff80b203f0193a7ae236f0dfef1","datavalue":{"value":"6318858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168881$8C454990-428F-4CD1-AC02-BA8B37D79964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810ae42a31dd208ded28b227887ac5a613b44fd3","datavalue":{"value":"adts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$5D8AAEEE-5D1C-4910-BA57-6C0E39E47704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967bc120c96b897d4c18218c9b1462d371d77694","datavalue":{"value":"capabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$9D3B2014-376B-4E4D-AB55-B1E688F898F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e39b1d3a00eeb3b9138a8fe05a514098d659a6","datavalue":{"value":"commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$B9D4A8D3-177F-4A76-8C32-9B2077C85A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$1BB8DD6E-02E1-4A4B-904B-66977B9859A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e72d98eaaeecb3f23be90a470a6e886725ddf6f","datavalue":{"value":"fictional disjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$18B23769-FEBD-4167-8AFF-06547EEF73DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c35e2bc7bf097005abcb61317b0bbf67df303a","datavalue":{"value":"hidden state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$3294E32F-84C3-409B-B254-DD31C0638BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb8bb414005f2b26adc63ec7daa96119fe3754d","datavalue":{"value":"Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$C4910055-442F-46E0-A930-DB52D46A0D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$7586A980-E3CE-4590-872E-58192D1F901F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66de3ddf8e1742595ef12add6b604b189f99c0de","datavalue":{"value":"sharing rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$CC19FECB-1900-4CC8-B123-6125011A9443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3557554998190f32c3b9dbf6c29fc20ac15c289a","datavalue":{"value":"substructural type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168881$4D2F992A-EDC6-45CC-9248-3A976B2493D9","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":"Q5168881$51FD3659-A94F-4C9A-A68E-92E0D035AB20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"501de31cacf1ad17b246af7a8b7e680fbe0838f3","datavalue":{"value":"https://doi.org/10.1145/2364527.2364536","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168881$2B4B0F7D-3E46-45CB-A3A9-C192049CB1A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4da3b83088f52e30f3bcc1ecb4300431a9d81721","datavalue":{"value":"W2139289583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168881$35479B43-828A-461F-ABAE-F659B76265DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e4ecedc9308019d8f3f66a1e6a7466170b5d68","datavalue":{"value":{"entity-type":"item","numeric-id":3105092,"id":"Q3105092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4182ca3347865df8ffb8351794e5861da99fbc63","datavalue":{"value":{"amount":"+0.7096745371818542","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":"Q5168881$4861BB58-F108-4F96-A248-8093D5719A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53db250f96448c2bf0b1f597a6ce0c633359d5","datavalue":{"value":{"entity-type":"item","numeric-id":352080,"id":"Q352080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c563a006dcd6e52fd13aa94187712f50e82ddf","datavalue":{"value":{"amount":"+0.7083962559700012","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":"Q5168881$DB7AA020-C276-4D55-A0AD-0E3D73BF14FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e876500f03f41967051665438252a436d41940fd","datavalue":{"value":{"entity-type":"item","numeric-id":5015212,"id":"Q5015212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451912db78c82d660383623016ed58ef6fc133a5","datavalue":{"value":{"amount":"+0.6926314234733582","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":"Q5168881$A50907FF-D038-4CFA-B163-96B0302DF391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56680d52cf077c4034c308a5d3cff29a0918b83f","datavalue":{"value":{"entity-type":"item","numeric-id":935465,"id":"Q935465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a2353904d6cfda1d540cfe95bbc787aa65bcdb","datavalue":{"value":{"amount":"+0.6851963996887207","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":"Q5168881$CEB55637-57A2-4A87-A209-1AA21C4CCD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e678ccbac3173c222f4b65002e4521a83d1e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2851318,"id":"Q2851318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7ef153e01b8ea48c29630037bd3ca85303482c","datavalue":{"value":{"amount":"+0.6826422214508057","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":"Q5168881$C39A898C-63AE-482A-999B-66925FE6EB77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168881"}}}}}