{"entities":{"Q3144869":{"pageid":3155585,"ns":120,"title":"Item:Q3144869","lastrevid":58123932,"modified":"2026-04-03T21:58:35Z","type":"item","id":"Q3144869","labels":{"en":{"language":"en","value":"Linear extensions of partial orders and reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6114768"}},"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":"Q3144869$F9F9699E-B73E-4E74-B5C2-6ADE3234EEDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff0d7f1488482d7a477ca3c622c8415ef6feed2f","datavalue":{"value":{"text":"Linear extensions of partial orders and reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3144869$0B8612EC-5836-4A7D-98C1-906C356508D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a95d0f717be81900ffd1dca3716a0bbe00c69de9","datavalue":{"value":"1259.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$B0BE7DC0-A45C-446D-AF7A-415465BCCFD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$5EC650F7-7946-4182-8558-403C8F415158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$36C7BA5D-D42B-4C02-AF06-E1D816E695AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$B90A21A1-2B11-480E-9C8C-1C05C915167D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f3dbdcb93c480eb1f3901ee0aff92113f19bb78","datavalue":{"value":{"time":"+2012-12-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":"Q3144869$94810C9F-70E7-49EB-8FE5-5E4E8003C96A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15e5615b90a8cfc01224070328a1e217c25aaf92","datavalue":{"value":"https://arxiv.org/abs/1203.5207","type":"string"},"datatype":"url"},"type":"statement","id":"Q3144869$33534D11-3ABA-4516-ADE4-C06AC41C95A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$622F1956-58A7-4420-BBE2-E8A52AC9120F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$B842975F-C92C-4EDC-A1EF-B37D63C82C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$62034454-2FCD-490D-919A-5A437F0D5EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c17f2af5f9387ccdc42f90f1ff54793bd835e074","datavalue":{"value":"6114768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$E7A92520-071A-4147-B9CA-D5C6430B7E14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd45f19d4ffc06d9dfcd5061d2f69b15ac0a96a7","datavalue":{"value":"linear extensions of partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$0CA5C757-22CD-4992-B000-0C7C691136B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$6489A865-83B9-49C0-8F8A-DDBFE21EFF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$CC5894EA-ADE6-4476-9170-90BE798382D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c638fff1286f12cda2ddd833d40362f631a1e4","datavalue":{"value":"\\(\\tau \\)-like","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$3201C104-4AC9-4495-ADC5-0218F751DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ce998874117d764532fe684cc496be428a005f","datavalue":{"value":"FUF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$88CE9973-B589-4D02-B519-CFEE36452609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6832e30adf36ba5cce0db72911b3c0dda821c66","datavalue":{"value":"finite union","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$61585F08-BC74-416C-9070-191E4C19214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10df274846aafbc26e4f4ebca105556b75c35532","datavalue":{"value":"infinite pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$03280208-E736-4D5C-9E55-42C5B4F13B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$9C28B5C3-67D5-4CF3-B92F-A9AC0C52450E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d28ecd65fc26284f1f89993a80c34e65410024","datavalue":{"value":"embeddability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3144869$CE622144-3F9A-4DB8-99E7-80A0C9EB6C79","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":"Q3144869$7F672F3D-C763-4818-940A-C87E581F1A38","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"91de3eef1c22437a967325fcf3cdd9afe7198288","datavalue":{"value":"Q61834872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$1BC3AA2F-E71C-40A5-8777-494534E817FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d78a26317386cc0b6aae1f379aca65513b7e74fb","datavalue":{"value":"W2032211530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$10BDD0F3-CD23-479F-8762-71542A8FA907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$E05CE30D-C550-4E38-B581-A5F505BB3B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98141c0b7bac404be991952cad15029858b4f57","datavalue":{"value":{"entity-type":"item","numeric-id":3550582,"id":"Q3550582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$3E483AD3-4D36-47A5-9437-46D24D99DC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb36a9ce618f22cc3a7f31f973287a4173a806ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425651,"id":"Q1425651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$7534A149-76F7-4247-AD4A-864660B85E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9e9195251941a916c414284f781a18c2e6a187","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$16B4D82F-85D0-48FF-931E-A3A32BBF1BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$EC49BAA2-BF54-4EB8-A1CC-1BB8AE0C171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$64F3FE22-EF33-4C0A-BF6B-07FECFDB52C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bc36a663c98b0cb56741da816d8273acec2dd","datavalue":{"value":{"entity-type":"item","numeric-id":661295,"id":"Q661295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$5905C991-7975-4B37-B101-3BACE04ABA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b402d4bf0781dc782d019ac9f2fd500522a65cc6","datavalue":{"value":{"entity-type":"item","numeric-id":634769,"id":"Q634769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$3347E9D0-7795-4A8E-BE5A-0059D9970967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2505f5ad53376d4802526b19c43e6ca33b004ce3","datavalue":{"value":{"entity-type":"item","numeric-id":2368905,"id":"Q2368905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$295F7253-0D42-4962-8059-8F901C9EAC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3144869$F7441B9B-7EAE-4B77-AF4E-DBF816C27534","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2264bb424e7c63c41295e2b15cbf63b83eee275a","datavalue":{"value":"journals/mlq/FrittaionM12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$1EAAEE24-CEDB-4B12-8DAD-B54F568E4979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edcf95642c32dccb504dcb8639032a83b7131e5d","datavalue":{"value":"10.1002/MALQ.201200025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3144869$23DB354C-DFFD-4BFA-91DA-3D0B687E9922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc00a7e91cd4994df0dc90d1fe60cafbce2137a","datavalue":{"value":{"entity-type":"item","numeric-id":1425651,"id":"Q1425651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b40e56449f819205ee31426472c1ff6e0387034","datavalue":{"value":{"amount":"+0.835826575756073","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":"Q3144869$DC40D027-4190-4C77-A490-DC025D868BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b3e1cafe5d99acc4171e80e2af49785a16def","datavalue":{"value":{"entity-type":"item","numeric-id":634769,"id":"Q634769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5f73d8ada877c097b2174f7710e04b3866ed4d","datavalue":{"value":{"amount":"+0.8050301671028137","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":"Q3144869$B9593A04-34C6-415E-B441-DE007C721679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef332b9310ff48cf14e9447299366f6f4ac3f9b","datavalue":{"value":{"entity-type":"item","numeric-id":634735,"id":"Q634735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5403491a6281ad02f31f5aba0fc9402e15277d","datavalue":{"value":{"amount":"+0.7949073910713196","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":"Q3144869$2FB6677F-E96B-49A0-8E78-A0D6FC2F7EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa632136f903ba34279072b1be72cc7b0c1316c","datavalue":{"value":{"entity-type":"item","numeric-id":386152,"id":"Q386152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2588a3f1ba975bea04fe5eb9c325d86ea1661b74","datavalue":{"value":{"amount":"+0.7893393635749817","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":"Q3144869$2299DD2C-56E3-41A0-8457-DFAEE901F965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6ab377d3e91b87883c6ca7e88389f53cada8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5963196,"id":"Q5963196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41702d7310f3ccf4cb925eb3d8da81c2589c22c","datavalue":{"value":{"amount":"+0.7853480577468872","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":"Q3144869$8258BE85-2108-4BCD-BE4F-F99E5F37DC1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3144869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3144869"}}}}}