{"entities":{"Q412184":{"pageid":413951,"ns":120,"title":"Item:Q412184","lastrevid":61658325,"modified":"2026-04-11T00:46:44Z","type":"item","id":"Q412184","labels":{"en":{"language":"en","value":"A combinatorial proof of a fixed point property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6030292"}},"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":"Q412184$A35C4B47-ED97-49F1-BF9D-CA01B9C3A0E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ff8ab74c78e69c8f41b29c97ff87d299cd1357a","datavalue":{"value":{"text":"A combinatorial proof of a fixed point property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412184$BFCD8604-A1E7-4D66-BDCF-CD8E4B9208C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0653eb19fe152dcfbeee0a64589eaf43dd8839aa","datavalue":{"value":"1239.05197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412184$45297F07-45BE-4F9F-B537-B8D956416F8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f66b15d45fe7a9125580849c3f6c66dd5b791b32","datavalue":{"value":{"entity-type":"item","numeric-id":412183,"id":"Q412183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$16FE00B6-3FEA-4253-9B85-29C6771601B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$8009BFCA-D2C1-49AF-B2FE-7337E2F50990","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0f2e18c1df897dbb15de5492927d1ae63c4ec2","datavalue":{"value":{"time":"+2012-05-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":"Q412184$83412AB0-CF62-42B5-BE5E-F4483298018E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e669b60521e14398c1f2263792cea32c3a9da254","datavalue":{"value":"05E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412184$A68E9529-DF0A-41F6-A8E4-02A55E6D057A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"902c8db7fc781ad6095a118350a407f5bc254e82","datavalue":{"value":"6030292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412184$BDFDEF08-E747-448D-92F3-A20A54EF01C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q412184$FF185096-B7A6-4D3C-9FA6-5B5DED1A2196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d15a5b24d0013cd9645369f094998dda3d4aaf","datavalue":{"value":"dismantlable ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q412184$A091F0D6-F7D2-4DDE-8769-2A4556B06F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q412184$FFF5FA13-C9BC-41C5-9501-19DDCCADE679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a9c1a44f7189158fa382da26fd227d0ca83479","datavalue":{"value":"noncomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q412184$F9B95862-D1BC-4B3A-B32E-B14471673B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"956d37f072c30810ba2580538744918fd95f2616","datavalue":{"value":"straightening law","type":"string"},"datatype":"string"},"type":"statement","id":"Q412184$4C28C6C8-E6D6-4D71-85F4-EE98D5799473","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":"Q412184$9C88C3AC-1907-4CB9-A90E-44E915A4A3EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"627723527d8b11f192601e2354c8092048084a56","datavalue":{"value":"https://doi.org/10.1016/j.jcta.2012.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q412184$554974D1-31AE-410F-AAA3-E614DF7BC5E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3b45167b6ded80f60a27f8afc87086c2ce31929","datavalue":{"value":"W2023437929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412184$E7B495DF-CD05-4A62-A63C-133745C2E22C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adef61f68c26ac5bba6a41b3cc1d7c0a3f9a3ab","datavalue":{"value":{"entity-type":"item","numeric-id":3278374,"id":"Q3278374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$2D60D52B-8E1F-4B7D-82EA-4748767799F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beba7f10fb1cf6bae326aafb6f988e692dbbf565","datavalue":{"value":{"entity-type":"item","numeric-id":1239749,"id":"Q1239749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$0BF4677C-071F-40C8-B8FD-7ECF44EEF2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dafe6927a1e73f2031126cff56637af55735ac","datavalue":{"value":{"entity-type":"item","numeric-id":5895362,"id":"Q5895362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$E765A643-A1A8-4A71-AB17-EAD534648D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d94ae5c5467f539e1eff3c60aad20686e64c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1151914,"id":"Q1151914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$4E86884C-04F0-4FDB-905D-CECACCBE9BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707df8017e4ecf246acf7ab06e5efa4da9540151","datavalue":{"value":{"entity-type":"item","numeric-id":1143673,"id":"Q1143673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$57A343F0-2BC8-4F0B-96B5-47C657ACDA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f3bbacd231fe4f503ede0cea521ab067c45a45","datavalue":{"value":{"entity-type":"item","numeric-id":1074608,"id":"Q1074608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$DDC723BD-5054-42FB-B6E8-CF04F10F4564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3a9b0a3847e2f6b8e81af39f05943106ff77e","datavalue":{"value":{"entity-type":"item","numeric-id":5522947,"id":"Q5522947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$CDD54858-0DCD-42EA-99B0-023DFA155E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30a6865b9a083fa5544cf9dab75dafdd99dee36","datavalue":{"value":{"entity-type":"item","numeric-id":1385240,"id":"Q1385240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$36FDB14A-1F0F-46F3-AA22-AD81175BF0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42872dfb916dfad20fc759a063cf61282551d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1423004,"id":"Q1423004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$2507B9FA-59F0-4B61-952D-5C7E681A1709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$D6888F85-48D8-4A7F-BA1D-D6C9200AC241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75dd47304db8c29d81e98b64f2b7cde56acf821","datavalue":{"value":{"entity-type":"item","numeric-id":4791727,"id":"Q4791727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412184$180CFA07-E18B-46C6-BC56-8E7926837912","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e2a9d6db836977caae43d414ed958dfcdd89de3","datavalue":{"value":"10.1016/J.JCTA.2012.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412184$74D9E6E8-3A2A-4A88-9CEE-E056DC8EA627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dab45deaa6ad911151b8b92c12803b31969df3","datavalue":{"value":{"entity-type":"item","numeric-id":3722547,"id":"Q3722547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1db279d091253977df4e7947b1ae77df608eedc","datavalue":{"value":{"amount":"+0.7831810712814331","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":"Q412184$E0BE901A-2C9B-4DA9-93E5-5AA7DA253320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659324510d5b5a84004d634815e3e3d67c1b654e","datavalue":{"value":{"entity-type":"item","numeric-id":1074608,"id":"Q1074608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a71becc2e32d1dc6f3f608227935d29b6556a8","datavalue":{"value":{"amount":"+0.7537030577659607","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":"Q412184$001E2D5F-5FE3-4318-B9BE-2F72BAFCD0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8777df3f655dd45abbf2d297c133ead811cee6","datavalue":{"value":{"entity-type":"item","numeric-id":2577725,"id":"Q2577725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2b11df57d001ad8ee87bdf20054323bc3a73b6","datavalue":{"value":{"amount":"+0.7500983476638794","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":"Q412184$9B4290F7-B7F5-480B-9668-838E1958327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d28770ea4e95b8db048f5405782b9cfa273408","datavalue":{"value":{"entity-type":"item","numeric-id":2788348,"id":"Q2788348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d786f1314548a86e4a749ec3ab60163a1c8ab7d","datavalue":{"value":{"amount":"+0.7500262260437012","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":"Q412184$8AD16E7E-11E5-4A0A-A2E5-BD8677F630A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8518c6f61adc0f4b851ac50211c0e901d4c5733c","datavalue":{"value":{"entity-type":"item","numeric-id":3768942,"id":"Q3768942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19612ae48fcf05982b6380b9aed14ae5671a5db0","datavalue":{"value":{"amount":"+0.7397288084030151","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":"Q412184$FD418E5D-45A6-4039-B839-AA6BB0081487","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combinatorial proof of a fixed point property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combinatorial_proof_of_a_fixed_point_property"}}}}}