{"entities":{"Q2800972":{"pageid":2811710,"ns":120,"title":"Item:Q2800972","lastrevid":58013766,"modified":"2026-04-03T11:11:14Z","type":"item","id":"Q2800972","labels":{"en":{"language":"en","value":"Order-invariant types and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570498"}},"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":"Q2800972$3A8342C6-6584-4DCC-9112-34FBB4B4E2D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc314d849a71c4bc38ca54bfb6d81a94eadd0068","datavalue":{"value":"1448.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$F4A02F5A-1544-4C32-953D-8F2320D43E35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dff0d7dd17143301a285e3255c6f9fceea3cd51d","datavalue":{"value":"10.2168/LMCS-12(1:9)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$83DCC18D-A473-4BC6-8358-560A8A9E6E32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"763a19b8e40c167424fe5f9cd9e56aa49d4ee9b3","datavalue":{"value":{"entity-type":"item","numeric-id":388218,"id":"Q388218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800972$1A4F5150-3784-4D5E-8710-036907D66112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7031b84dffab1e32107789cd00559636fcfb642e","datavalue":{"value":{"entity-type":"item","numeric-id":923676,"id":"Q923676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800972$D5F3B794-4383-4D62-8569-F027D7789A9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800972$161E5B5D-625F-4905-B382-7BD33A521473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ca45399d7f8e443a58842f216d6469aabc08f0c","datavalue":{"value":{"time":"+2016-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800972$5D75B198-B972-4FC7-85FD-4FB049B8DCE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08dee92180ac339fa163e026621445e299a9f848","datavalue":{"value":"https://arxiv.org/abs/1603.04309","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800972$8B72C4DB-4A33-422E-878B-331896D16302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$7A3F862E-F98D-4EDC-AF0C-B30FD224EA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$FF7CDAB4-10B0-4BA0-ABBE-29352A509791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$AC0290F9-DAFB-4615-9CC4-81A194F6CE47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf84fe45e0e1825b54c67e9526733ab3d10ccf1","datavalue":{"value":"6570498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$6B39D99B-5F64-45E8-8033-B31ABE1B31A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800972$192C19DC-A762-4303-9C67-73990E1AF5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800972$0BFE5297-5E9C-40D3-9958-68FBEE47BE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800972$5BB7D953-1E29-4294-9345-E804DDC4F489","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":"Q2800972$B585E711-D774-4E36-A28F-B02137BDE9AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8593e11f7d47516a9768ad58d7818ef9aa011dc0","datavalue":{"value":"W2301245128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800972$19413321-734F-4226-B5F8-D8F43A53842C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c434527b19d41420f69f5709aac437b3e56aba26","datavalue":{"value":{"text":"Order-invariant types and their applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800972$56DE6354-5A8C-443E-921F-5D3C9EF6A32E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c67c4a1e90a7f80693efa05756582e722b0b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4635897,"id":"Q4635897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121d1361fc375fe1ef973a68f696af3a6143fb51","datavalue":{"value":{"amount":"+0.7708399295806885","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":"Q2800972$DC14EBF5-0853-4DF1-ACB4-BD7B4D3A6934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e042b5e4ab73ff0bf2079f23b8a97d78d64375ff","datavalue":{"value":{"entity-type":"item","numeric-id":4928477,"id":"Q4928477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4085ad567b329de75115bf2937e5ec607693d241","datavalue":{"value":{"amount":"+0.745718777179718","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":"Q2800972$EAA348AE-FC3F-4B64-BB2E-A880DB4264B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f576b40445ded05683aed6256e5371a4f0d961","datavalue":{"value":{"entity-type":"item","numeric-id":5394583,"id":"Q5394583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea55d032754d528b6637deed6445d7572a99e194","datavalue":{"value":{"amount":"+0.744522213935852","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":"Q2800972$97C8AE63-0D04-49F9-9C22-1E0563C7BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde80fd0ae24fa27df9f918432586f1164b3afc4","datavalue":{"value":{"entity-type":"item","numeric-id":3616348,"id":"Q3616348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad2c4d0c1db691ae6f08a383c37a120a274284f","datavalue":{"value":{"amount":"+0.739443838596344","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":"Q2800972$77D6A8E0-C201-41AD-A91A-F97EC4521C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7383aa5f586520805ab77ff48f023e1c7387aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4910729,"id":"Q4910729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297dfdc41afa4f1f36e81714262fd968de4c8b0c","datavalue":{"value":{"amount":"+0.7297510504722595","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":"Q2800972$387C6CE6-D875-498B-A2ED-DE93DDC7AC44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800972"}}}}}