{"entities":{"Q4500178":{"pageid":6529771,"ns":120,"title":"Item:Q4500178","lastrevid":47025099,"modified":"2025-12-26T01:52:10Z","type":"item","id":"Q4500178","labels":{"en":{"language":"en","value":"A geometric proof of confluence by decreasing diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501401"}},"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":"Q4500178$3EED1511-93E0-4353-ABD6-B8944B252148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bd5044aed3ce3cf0d151826af493379565c4004","datavalue":{"value":{"text":"A geometric proof of confluence by decreasing diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4500178$B76DEDBE-D7B4-4DA6-90CA-D0AB34412CD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc19691510c2a95b9ffd6573e568bcb0c6e609c4","datavalue":{"value":"0965.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500178$978B6FB7-1F55-4367-B4FB-32C966AE1C67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500178$8E612E70-9F17-4DC5-A392-6C9F5D66451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500178$7A754A6A-1737-4CF0-B59F-94AEFBDCB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5348b39bb43ee09733fb8b9f52c0a9b9a953475","datavalue":{"value":{"entity-type":"item","numeric-id":220712,"id":"Q220712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500178$FA8A4AA6-8878-443F-B313-C6352CBAE402","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4500178$0D8AD945-5051-41E2-BA27-3382EFA0E44F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df7c4bb5177f0091c51e54763ab47ccd2fd9baef","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26481","type":"string"},"datatype":"url"},"type":"statement","id":"Q4500178$8DAFC32D-6EB1-429A-8AE2-36826DAE06E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500178$CD3A28D0-02F3-411A-8843-AF00244E485E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a8ac8c65b18425fee9fa365e38c7bc90451fe63","datavalue":{"value":"1501401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500178$4BF13403-E293-45B0-AC43-A480CB7250C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d35e11541df106a878f3d6e72082ec9b1ce842a1","datavalue":{"value":"decreasing diagram theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500178$B29FB7EC-0D25-44B2-9A8F-D9BACA316CFB","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":"Q4500178$B5ED63AF-BEDB-4619-ACC6-CBAEEBBF05C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23bc3f9c65b6331030e7d0d966a9539cfba3c720","datavalue":{"value":"W2085171596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500178$B4AAE134-FB15-4F8F-8BB7-D17D5E943378","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02863fa59d49515cb16c8134600e71bd3320ae6a","datavalue":{"value":"10.1093/LOGCOM/10.3.437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500178$DAA53122-87C7-4A17-8A6E-1CE6579E99E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500178$82E3F105-C714-4D79-A396-95066AE0ED7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45c9a503de0a97276368822d5af7dcc9cfa4a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2958395,"id":"Q2958395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4a1c943fac88bdeba07017572055a669326447","datavalue":{"value":{"amount":"+0.8685644865036011","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":"Q4500178$3D257EBB-38C3-4EFA-B6A8-48A3CD225329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7cec64e27b89cc5d79453e29e27f8c840902adb","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5222b469010a4c39e6f32c9a12efc19d7e9dd2","datavalue":{"value":{"amount":"+0.8308063745498657","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":"Q4500178$5E43E7BE-2D5E-4F5B-90E0-BC72ED51B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f49c24ed169371268207dbe802cff982f923b3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3638097,"id":"Q3638097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73fed8d9eee7058415e0c54d637f776d6c3b032","datavalue":{"value":{"amount":"+0.8172473907470703","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":"Q4500178$99F234DA-CA53-4631-BD78-3196A8C7FE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbbd959425b2398f4ee38862788bddefca63135","datavalue":{"value":{"entity-type":"item","numeric-id":1271472,"id":"Q1271472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d569501cbab0be180323adb40f44a68e6dbf8895","datavalue":{"value":{"amount":"+0.8072569966316223","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":"Q4500178$B29D890B-3073-4071-B994-350BFA79DDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68afa614c5130909c8312cf8c94d06a2901e9a35","datavalue":{"value":{"entity-type":"item","numeric-id":438562,"id":"Q438562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78556aaaf773dcf30e2522f0328af954c38a527f","datavalue":{"value":{"amount":"+0.8007421493530273","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":"Q4500178$AE9F92CB-7BE0-4604-B304-22C1633716AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4500178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4500178"}}}}}