{"entities":{"Q6166795":{"pageid":13301677,"ns":120,"title":"Item:Q6166795","lastrevid":102540494,"modified":"2026-06-06T04:42:52Z","type":"item","id":"Q6166795","labels":{"en":{"language":"en","value":"A framework for substructural type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722320"}},"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":"Q6166795$A912FB30-DE27-492D-889D-BBD5213FAEA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9ee8fb66e9548845a5f46571da21923368b51f1","datavalue":{"value":{"text":"A framework for substructural type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166795$85CE1615-EF0D-419C-BE85-4C7F9B0081A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83b30b4c4bf83967b341a698a29a66938d3798bc","datavalue":{"value":"1528.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$8EFB2D96-C08A-4E03-8590-4510430C69F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf4f23211853ccc4f9b78ed5411c000f3f5afae5","datavalue":{"value":"10.1007/978-3-030-99336-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$F9E41654-06E9-4C59-960B-A166B0133D39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$47C7B025-862F-4ADB-B58E-776C40E21EE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166795$15D02B3C-65B6-49DC-BA02-C895FB0F9C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$BF773301-D480-4BD6-9B49-C7E463C6766C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$90C553E6-6653-4BBB-9A84-2E8DF646F7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$D5BFB004-C5CE-4453-9E79-9743EB0DEB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$1C95715F-38C9-4106-AFE3-85EB043EEF26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb18b8b1842083a7ad3bcd3af8db1de5e68e2e4e","datavalue":{"value":"7722320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$FED977D2-F7CD-42D6-99DF-2D8517B50B1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53af71348c56aa2e29672ae87373b1f1c2fc338f","datavalue":{"value":"formalised syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166795$E57573D1-18A5-4D46-AFDC-076E34D00162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614b2f7e8bcb4ba2c7b94c4d425a91dcb4317837","datavalue":{"value":"substructural types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166795$FEDA715B-E733-4B8B-87D9-588B680963D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670a7b1fa7d4876feb3ea49e47fd90c1f58c5c15","datavalue":{"value":"mechanised metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166795$960F0E8B-9CDC-419B-96FA-3DAFA7665139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b58daec915eca3dbc21c4472ad075277d028dcd","datavalue":{"value":"quantitative typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166795$1D4BA85F-4F09-49EE-9A4B-806BD62621C7","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":"Q6166795$0C2AF981-1BF0-44C9-92C7-D3A10A193E96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e1ef7f0875d659b99bd56d5fe9dbf57588ad3b7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-99336-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166795$FF598BCC-E5AE-47B9-9618-95E2CB0B3B25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc9983fa2fe8e76876ff6b61fa7cf0576d40c016","datavalue":{"value":"W4226031883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166795$1426F51B-55B7-4598-815F-B143C270F3F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0005c613d663fd4f8bcaefe0650cb72c4056715","datavalue":{"value":{"entity-type":"item","numeric-id":5019018,"id":"Q5019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$09F26AE0-4305-4F49-9680-9A80EB307EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$54E04103-7923-4380-AA99-78004B368C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$ADF4067D-0C1F-4E04-9C68-CFB2A65CF559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$4396D07A-DE8F-416E-A921-43792572DC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$9F8FF201-1D3B-4B51-A3B9-B2B2FD6AE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe212947f5528215b692a0b52aa33dbd786744","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$209AFEDE-8160-40B4-B5D8-876E2FB5021C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$6973037A-C46C-4832-976D-F5CBA81F3946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7acd0e33cf62ff42c5d3d2963429fca167fec9","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$9440A1F6-18CC-4F2B-8365-57C0A99649C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$2A47A1D0-F861-41E0-8711-6A6A94AA5CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a8bc534918a9e641d1996cc8ebc0b79eab94e0","datavalue":{"value":{"entity-type":"item","numeric-id":2819671,"id":"Q2819671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$06EFC248-9937-44C3-8D3C-FEF51D694716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$02C28F9A-2ABE-4144-B000-64962A807A85","rank":"normal"}],"P1643":[{"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":"7cd8518f094be839772de4c4bb0cb53bcfe0408c","datavalue":{"value":{"amount":"+0.7423385977745056","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":"Q6166795$CF6E2DAD-CA9D-4429-8084-E6A5B52987FA","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":"556af065abb50025ac651a6ce9fb68ee2c0d0b59","datavalue":{"value":{"amount":"+0.718958854675293","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":"Q6166795$77BFB136-C8E0-414E-8FD6-3B3332D1C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4338586671c8a8cd53bcb1649860ce66dca8b896","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d2092b6d242cbc8078630e3f30840d7edb1083","datavalue":{"value":{"amount":"+0.7158779501914978","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":"Q6166795$14CB58E3-C6BD-4745-8600-0808A466E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a3fb0fa0656fc8cfc2ee914d1fa622eb33da1","datavalue":{"value":{"entity-type":"item","numeric-id":5176934,"id":"Q5176934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fff46aaf40dcbb9112629555e8c615e73fa0286","datavalue":{"value":{"amount":"+0.7088100910186768","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":"Q6166795$823A540B-B201-44B0-B9B3-6207D01C5520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216c10823f945c5500445c1b46f8f1332dc39cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e88aa07262a9eac73207ef071da00756951fa4","datavalue":{"value":{"amount":"+0.7003803253173828","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":"Q6166795$A512F726-D0F7-42BD-A21C-9EBDC66B24E4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166795$4D7CB04D-DDF6-407D-943B-F97431BDE4DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for substructural type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_substructural_type_systems"}}}}}