{"entities":{"Q5408458":{"pageid":7438032,"ns":120,"title":"Item:Q5408458","lastrevid":96177455,"modified":"2026-06-05T10:36:24Z","type":"item","id":"Q5408458","labels":{"en":{"language":"en","value":"Closed type families with overlapping equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282460"}},"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":"Q5408458$37A48734-DD1E-4DB8-8CDC-155C3F83A75B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f2bc9a35170b2d09c1bd1456edaea577e68ca9c","datavalue":{"value":{"text":"Closed type families with overlapping equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408458$A70499D8-8605-4AFE-A5B5-393FB25B43F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a3126665b33b7309bd4254292e3c3b9a555d7c1","datavalue":{"value":"1284.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408458$5299CFF9-D318-4AC1-AD69-4DEC6634FB7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4df4369b56bb504f8df6ef3488befcfdbdb6fdd6","datavalue":{"value":"10.1145/2535838.2535856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408458$3BDF116B-DE02-4095-A364-306178665C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbd2794f81c7581ec1123320758085cd561a27c","datavalue":{"value":{"entity-type":"item","numeric-id":2802479,"id":"Q2802479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$EDDCF30C-9887-4EC0-BB1E-419DE329C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$DC607FBC-9DA6-477C-9283-0F6F2AA3454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$7020199A-0EA1-44DF-BF91-B13589FC6DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$D50BA530-AFC9-4007-95AD-2A2D3D4A1D46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$459F1F7E-CFFE-480C-AF13-07E484EF2E03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408458$6FE420AC-5435-4FE3-9EA2-DA37142946ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87bb5f9a642349599ca03314fecc9dc48abb0bb8","datavalue":{"value":"https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1006&context=compsci_pubs","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408458$685A8E96-53E7-4275-9732-7C13129250EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408458$26A6F0C1-7101-43DD-BF87-914E3EFC0FCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ce887dbfb620b369170afaa32c211a8d0ff785","datavalue":{"value":"6282460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408458$6497BEB0-3AA4-4953-B625-C2E4CB8D53AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408458$AEB14D87-AD1F-447D-A175-5D7502C5CF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3458387e23adbd572158b6f51569dfe7a452ad3","datavalue":{"value":"system FC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408458$6B4BFE06-8D0D-42A6-BACF-D4035E8EB1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd30572273a4a8bd0b65c18895a11b7f2755809","datavalue":{"value":"type families","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408458$5BE96C1A-FBD2-45C9-B21C-292545B50DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17cbacb99b327e110bc9115740fc63825c28249","datavalue":{"value":"type-level computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408458$83017CEE-6870-426C-87AF-75FCC47A44D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$4710D8D1-5A86-4EAB-9975-186378AF74CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408458$9F2E67D6-1C07-47A4-9F3C-175E1875C004","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":"Q5408458$F0775F44-F87B-4A35-B7F3-E6E841B56360","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a3d044408bac4c97a351e93c464b5bf3b6e1e54","datavalue":{"value":"W2129777450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408458$9531BE25-B502-43B6-B05E-31BB9CBFC5AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c610766d9887f250800ac1e36f1b3ea8b4d3a254","datavalue":{"value":{"entity-type":"item","numeric-id":5178755,"id":"Q5178755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6f0c55f6bf378327423ea3c8d27a2aec912dc5","datavalue":{"value":{"amount":"+0.8263591527938843","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":"Q5408458$DF4C525A-268A-4410-9224-50E0AB46EFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b9e195847bcbea8ebc4eef91409c29671308c8","datavalue":{"value":{"entity-type":"item","numeric-id":3163410,"id":"Q3163410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a298842b7e2b76d4578201245db96ca2f87dfbc","datavalue":{"value":{"amount":"+0.7888317108154297","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":"Q5408458$2B9D0654-B25B-4715-8480-9B3520019A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8636655bc1a51380d744a6a4e120783c834e08cb","datavalue":{"value":{"entity-type":"item","numeric-id":5176955,"id":"Q5176955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a338e18b98efa53d89bc1a44e78e2a9e35c83a","datavalue":{"value":{"amount":"+0.7337902784347534","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":"Q5408458$7B0AA97C-797C-4B36-AF26-7D3BD80D92DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bf4587f4f90ad8bc05aecb372bc858adaa8184","datavalue":{"value":{"entity-type":"item","numeric-id":3558329,"id":"Q3558329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13105b8a5653b085bdde3f46c145310d72d7dd78","datavalue":{"value":{"amount":"+0.7334827780723572","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":"Q5408458$C198E42B-D2E0-4413-99AF-B8DA8A1F89BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5b55c11f099c699ea05789a78adbe0315395ce","datavalue":{"value":{"entity-type":"item","numeric-id":2936787,"id":"Q2936787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76cd22fd2190d14892a59f7a998bd0593ef22a9c","datavalue":{"value":{"amount":"+0.7170795798301697","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":"Q5408458$0BFA7179-B20D-43C4-9F4F-9174298AEDF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closed type families with overlapping equations","badges":[]}}}}}