{"entities":{"Q1053040":{"pageid":1054888,"ns":120,"title":"Item:Q1053040","lastrevid":42840960,"modified":"2025-07-15T07:26:53Z","type":"item","id":"Q1053040","labels":{"en":{"language":"en","value":"Standard completions for quasiordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3817770"}},"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":"Q1053040$2430FAA6-4764-43F4-A716-3A2E270D1432","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98f196456baa34bb057d38ed039a1183e839c7f8","datavalue":{"value":{"text":"Standard completions for quasiordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1053040$D4D3A5C3-41F3-4F2C-B925-4F13207D01DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"390e3bc13c73c34788ff5e2c6c57e622c6ff2798","datavalue":{"value":"0517.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$90208648-4C02-490B-ADB9-90A0E7E52D71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"144fa463252fe6a169e8978d072a2a516f93d9a8","datavalue":{"value":"10.1007/BF02572747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$BCCA3A62-7F7F-4FE5-B93E-F37C53A6C6F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd6e5f6433b6749f0c478f4e3283154c558c7018","datavalue":{"value":{"entity-type":"item","numeric-id":1053039,"id":"Q1053039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$761A3C13-00A6-41B9-87B5-7AFAF372C74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ff7be87eb315c398cc9af993f51d5ac847e431","datavalue":{"value":{"entity-type":"item","numeric-id":171474,"id":"Q171474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$6751E53E-13F8-4745-9EB4-E5CF0596A788","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$A0BDFCF9-6D64-49D2-AD48-3DC1663B51D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1053040$D40C8AB7-4752-4FE1-AC20-D3A4ECECF249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad9a61999be655497c8c1f2cdb941d62ea1457ec","datavalue":{"value":"https://eudml.org/doc/134631","type":"string"},"datatype":"url"},"type":"statement","id":"Q1053040$313C2770-26E1-4623-952D-1ED80AE1375B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$99AC361C-B07A-4789-B4B6-C3FB10B5B2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$1B5EEEEB-2AF9-44D7-B2D2-1460277A0128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$143DA1DE-BD10-4AE6-A3F7-C8E972053794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$56A5F6F2-5835-42E8-AD8D-C40D6DF9D27B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f449e1b5b81e251176a7424a2dd974fc2281cf4e","datavalue":{"value":"3817770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053040$3F09E51E-0DD9-4F3F-A9E3-F13B5E1A4967","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f8b30e93d316d45bde0aa13361506223a13e5e","datavalue":{"value":"quasiordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$2E38686A-54D4-485D-BCA1-451D681F7B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4a82b30108816ad425f7acd5d56518a849c02b","datavalue":{"value":"principal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$BAAFED3A-69BD-4146-9D88-F4BE0089A00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc125f65e8792c93f73d9473e3a3c9e2f29c4b3","datavalue":{"value":"standard completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$92C37599-E9D0-4993-ABFA-76D90FB2758D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$30B00DB9-6823-418D-8F90-BCAFA04EF09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba923604c09ce050856c0ce483c8218e99eeab6","datavalue":{"value":"Heyting algebra completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$61166B24-65EC-40C0-BB33-1CBCFBBE58EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942bf59d1b1ac6719ed4f86cd5c1d58c0a2c1e3b","datavalue":{"value":"completely distributive completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$6CA1AE6F-B795-435E-A976-516D01B3BE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ef3c7fc31420d7360fa2519d75549cdc0c25c8","datavalue":{"value":"Boolean completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$C957E242-B86C-430E-B71C-0AE65090A90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbca8cb1c792669251c97561d8a65dfe532720c","datavalue":{"value":"meet-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$AAC04106-11E4-40EB-934A-9DADDB7AFAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053040$D6FA0BD8-0460-44AB-8565-7D56DF86953A","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":"Q1053040$BBECDE43-C2FE-4681-92C1-2466C0674354","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4cca440f5c10a728769119bee0fffd0577a91d","datavalue":{"value":{"entity-type":"item","numeric-id":5827041,"id":"Q5827041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$A2FDC898-EDCA-47C1-BCA2-9426777D6FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46756f04be88ba3178209c818f48fbdf177331b9","datavalue":{"value":{"entity-type":"item","numeric-id":3235412,"id":"Q3235412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$48BEDDFE-B9A6-421E-9898-E094DBE544D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$4EB79D93-1634-41F8-A730-020BFD7CAFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d305bb8a382f74f168ee0ce0d3ec93b3d8a9ca7","datavalue":{"value":{"entity-type":"item","numeric-id":1228491,"id":"Q1228491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$DA8221AB-FCCC-4EB6-B1D8-00DB93C2F5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d85dadcb6c04a4df4c970cae818aefe1c39a483","datavalue":{"value":{"entity-type":"item","numeric-id":5526137,"id":"Q5526137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$15C4173A-0B7A-47EB-AE03-F82958D81BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce654e83ee003e5d4c7707fd4c29cca8e233aa25","datavalue":{"value":{"entity-type":"item","numeric-id":5813967,"id":"Q5813967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$DA7B1F63-0D6A-4370-BB7F-1A22A5AD892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a82c64979e76656ba5f041eed7a65cb67c155bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3849013,"id":"Q3849013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$CA5832EA-5757-49FA-9A80-FD61A18028C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$BF9354EE-B84D-475C-A0CC-1C07935A98FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$E78A96F0-3EF6-423B-9CB6-E6108BD95D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$B928F08C-AD3E-4B7D-8164-6905BD6DDB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$647F45B5-9D41-4219-B479-18BCA0C2002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583dd51d2965ffc8a39995d600c77fe7a129650c","datavalue":{"value":{"entity-type":"item","numeric-id":1255704,"id":"Q1255704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$1F9BF28E-374A-44B6-93CD-3A13380788E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de096cfe4790e30431655398b6378c837f6f058","datavalue":{"value":{"entity-type":"item","numeric-id":5548276,"id":"Q5548276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$2EF42633-077E-4189-BB88-9B4FC7DB49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8d34669380af600527baa977d930d2c781c6db","datavalue":{"value":{"entity-type":"item","numeric-id":2652480,"id":"Q2652480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$B0994099-F479-4BD4-BC7D-881EFA9C5543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$FCDEF9BE-95ED-40FD-A74A-52DA93A6A374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd09e263a4ff96094a828bada47dcb345a81f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5824707,"id":"Q5824707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$B9954B80-7727-4605-AF2E-DF28B8C3FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05f86235c3063ebdcf07154fd655e1e5399978d","datavalue":{"value":{"entity-type":"item","numeric-id":5821478,"id":"Q5821478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$C5456F2C-8FF0-4535-951A-EB788F893040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9848b81b1da914be86162633cf9d47e47bd52e1","datavalue":{"value":{"entity-type":"item","numeric-id":4058699,"id":"Q4058699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$352846D7-C6D3-456A-99D4-82C6961EAB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d374e5741d3af854e5693214e4ef65ec167cc13","datavalue":{"value":{"entity-type":"item","numeric-id":3257817,"id":"Q3257817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053040$433AAAA7-CEAE-47CB-B64C-1723E7D400DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1053040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1053040"}}}}}