{"entities":{"Q1386676":{"pageid":1397416,"ns":120,"title":"Item:Q1386676","lastrevid":68597886,"modified":"2026-04-13T00:49:33Z","type":"item","id":"Q1386676","labels":{"en":{"language":"en","value":"On the Jordan-H\u00f6lder decomposition of proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156510"}},"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":"Q1386676$3B6C9C78-DF90-435F-BAFA-97C38EC5341D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b21ca0ec3118490a283df39b60b5c8849191207","datavalue":{"value":{"text":"On the Jordan-H\u00f6lder decomposition of proof nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386676$91A3B46B-4907-4BF6-B2F3-B75DDF1F45C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec56f4230e8b0e2abf74d1763b20ad0b29a23e17","datavalue":{"value":"0894.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$73999804-CF26-4604-A7A0-7D526EF46894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3146caa99123f1f572190fed88039a98580c3477","datavalue":{"value":{"entity-type":"item","numeric-id":1003741,"id":"Q1003741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386676$74083EE3-A9B1-421B-8F52-8F94CD7CC03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991173f2ea22332135ad6abd3f0c984815ecedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1345900,"id":"Q1345900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386676$072C4D7E-2221-497A-8A44-1E6EA67920F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386676$0C767509-10D5-43E3-AAD0-129326BDD6A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a2bf77c159cbb612d03c5f3cf214a874e3987a7","datavalue":{"value":{"time":"+1998-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386676$07940B1A-63F1-4CAC-BB13-F611E917D386","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$96DFA869-137B-4CCD-9F29-BD3E9CA170A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$2C5018F3-D4D2-4595-9673-784CA50734AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$7823A0EB-02EB-4FE3-A1B5-6769E1248628","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f7cfcb66e632c707e668ca2bbd96df0656fec3","datavalue":{"value":"1156510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$0B4095FC-65E6-4B0C-A2D0-64CD36DD4A70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f99d632ef5a2746b6dfd25440390792eb95555f","datavalue":{"value":"homological correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386676$C06A6B36-F2F0-4F62-A6E4-CDADB23658EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386676$E9986907-EA12-44D4-A59D-1829B38DD2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39acc658c80405520985a52750640978ca35bec2","datavalue":{"value":"Jordan-H\u00f6lder decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386676$C064B941-E207-4AF5-8EF1-57944214C52E","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":"Q1386676$1EF13827-6D2C-4C21-902C-646CAC6135AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6871ed446ea4f670ce9caae6562c1defe8329af","datavalue":{"value":"https://doi.org/10.1007/s001530050083","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386676$5F1B3CA9-F9F3-44AE-AB74-C257BDA94398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67764938a7ee811bdf36057e84143afdcbadf4e1","datavalue":{"value":"W2084288430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$483FAF1D-D22B-413D-92D1-F81453CB01E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd58ae65d8157c2352afce5db0d57c094faad03c","datavalue":{"value":"10.1007/S001530050083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386676$D9561E9B-9A2F-4DA5-9A21-DB808AAD8E4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8bab4eb01d5ff17b1baf1c8745b54016860e42","datavalue":{"value":{"entity-type":"item","numeric-id":1330310,"id":"Q1330310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70900076b4234f6749618ce043cf9fd92b0d789","datavalue":{"value":{"amount":"+0.8118079900741577","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":"Q1386676$DD85E6E3-9356-454F-BE7D-7375CAAEE7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35bfedf64ca581883961945e76932a98303bdcb4","datavalue":{"value":{"entity-type":"item","numeric-id":4222843,"id":"Q4222843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888f84254f44599d2df78b2144458b613b5810f3","datavalue":{"value":{"amount":"+0.7108513712882996","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":"Q1386676$218DCD53-DD8A-4039-A8F6-D00253CC202D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8769e261c5825650fbe726c0626f3ef75cb68a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236199,"id":"Q4236199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda9a6d2852dd8821e4a5f23851c48fe7af4fc37","datavalue":{"value":{"amount":"+0.7060520648956299","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":"Q1386676$A50B5B7B-C041-492D-BEDB-2A138B34C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fdbaad97e2a19c54bd1ea81d87f9433788484e","datavalue":{"value":{"amount":"+0.6956791877746582","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":"Q1386676$F184FABA-4B40-4A73-9069-16B5AB4D338D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe830e53bc3f2b3c1a5097999e33415cfaee1894","datavalue":{"value":{"entity-type":"item","numeric-id":1398476,"id":"Q1398476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb748e4b2812e35899384bb734b1441441616515","datavalue":{"value":{"amount":"+0.6924793124198914","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":"Q1386676$9F9C36B8-3BA3-4B10-9D52-104043EE321F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Jordan-H\u00f6lder decomposition of proof nets","badges":[]}}}}}