{"entities":{"Q6161463":{"pageid":13296344,"ns":120,"title":"Item:Q6161463","lastrevid":39736145,"modified":"2024-12-30T18:01:14Z","type":"item","id":"Q6161463","labels":{"en":{"language":"en","value":"Maximal elements with minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691961"}},"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":"Q6161463$92160FE8-8069-426B-B32C-A24474D4A0FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b68f9793ab36f09b6166c36745b3f026e1184f","datavalue":{"value":{"text":"Maximal elements with minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6161463$0315F676-5AE6-4C2D-88AF-6FE58C2C00AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78d6bae634d56de0942521ea01684c0436bda977","datavalue":{"value":{"entity-type":"item","numeric-id":2099402,"id":"Q2099402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$1AE37D37-5E10-465B-B776-6E8412357E75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$15E1EE4D-1D4F-4836-890C-2CD14DF5B9F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8660296342fed4fbe5b76d095c9c4f3b9b5c1bb","datavalue":{"value":{"time":"+2023-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6161463$0E3C9093-D727-45EC-9E9F-800943001081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161463$2758370E-C92D-4280-938A-8A73AA8E1854","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45ade78975bbb1d333aec4dfbf4639b2fec91018","datavalue":{"value":"7691961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161463$1719905A-6EE8-4453-832B-6B6749088719","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161463$ED36021F-2989-4C95-AA53-F8EDAC7E487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161463$85D01B0A-310D-4B33-8155-FBDD3A6DDBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784b8bfa87a8f495f37d89c0f713645b8e1b69d4","datavalue":{"value":"Zorn's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161463$11E8229D-A687-442D-A14E-B3FD4C809192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161463$16DB5CB3-D163-44AA-9335-170CCF3B68FE","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":"Q6161463$ED38950F-4058-43FF-8A28-D27AA2C916B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbfdee59ba96a4bb84bcc3b12dccd3f01061f5b","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2023.106403","type":"string"},"datatype":"url"},"type":"statement","id":"Q6161463$92CD7504-8D1D-4D2E-9464-475F302517BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f86720bfb42d6c3b5d1db05946314f468c58a35a","datavalue":{"value":"W4367672023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161463$9E3F1F56-2E85-4EDF-B0BD-7F09BC3B47E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$0B08FF73-BAAA-4D9C-9B6C-CAF82D5074F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df524d09eea21a7baa9fd414ae2bc84d844b3f9","datavalue":{"value":{"entity-type":"item","numeric-id":4382475,"id":"Q4382475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$5FB5A592-3BE7-4FD1-AFF5-E2E137F2D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b5b9007850317fc815a8ffc19ad20c699f0c70","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$3170CA84-C01D-4A38-B667-14EC09E7A1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e9c1954d2ddbe29ef249d86ae89ab67316b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1887656,"id":"Q1887656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$A5CACE9A-642A-48CF-85E7-892F76B666EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144a39de789ea9844fdf21d35c953ba794cb9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2104249,"id":"Q2104249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$4E9E26E9-CC3D-46A9-9E71-026D8AAAD422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362d001b77e56e0ac54a0ac8386f1221ef5d433f","datavalue":{"value":{"entity-type":"item","numeric-id":5250218,"id":"Q5250218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$A48DEBB8-6AF3-438A-B141-79DA3A7EEAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912c1808780e1f23fdedd5cbad5ee1e59882b589","datavalue":{"value":{"entity-type":"item","numeric-id":3422024,"id":"Q3422024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$3F428504-555D-4BDA-BFF0-9E62C7440AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070dbfa06568dfeb37a04bf7137994fbe1b8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2944797,"id":"Q2944797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$9720FE24-62BC-46BA-9773-E6EFF2DDCE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56c28cab0a4bd6c9facde7932abe25a349e8511","datavalue":{"value":{"entity-type":"item","numeric-id":6167164,"id":"Q6167164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$B805D22A-5D2F-4AA4-AD0D-A71F9436967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$7B48CF4D-8D61-4B18-8A3E-EDA809FE76C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$9CBFB948-D45F-42FF-8895-F87C676624EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$1C0AC6F3-F3BD-40A1-8064-67FF32567D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$703028D0-3B81-4CB5-B434-57266B24AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$9B0E31AB-D135-478D-8213-279F22880641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f767eb48d94ed0d52d2751735ed6a9462ed4e706","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$118E82C4-1DFC-4B1F-9E22-25D39C8CC3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb81132704a21123f0098162947c92007471cdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4366770,"id":"Q4366770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$73D712AA-760E-4555-BA60-CDBC80CA724B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0f708bc5d2fa955cec4a3ec4d77a2d94267770","datavalue":{"value":{"entity-type":"item","numeric-id":3112383,"id":"Q3112383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$19901289-8E2A-457B-8C01-596E48FDD4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9b463a85a51dbc7f38f81955548628b0066c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4895873,"id":"Q4895873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$DC2F7992-78C2-4706-9EB1-AEE6E2FEDB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$8800466A-55C2-4587-BF5A-71BFDF9CD949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2affbb00c9379e0f7e8398720acc996d65778ae8","datavalue":{"value":{"entity-type":"item","numeric-id":2682912,"id":"Q2682912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$67EE839A-E863-4741-AA83-A363A16494E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$A07517E4-2078-4D4D-8A4A-2D50015CB748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545021822c120142a5533cad04d152600e9663f4","datavalue":{"value":{"entity-type":"item","numeric-id":2672666,"id":"Q2672666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$0306BBB4-EDFF-454D-8500-64AA4D770060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d5a44c32980189056a2c7e4c211e126f63f02","datavalue":{"value":{"entity-type":"item","numeric-id":1350507,"id":"Q1350507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$573A048C-469A-4ED0-90D4-81F4EC3CFB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017603fc72a4d442af28b40c0ead98a30d74fe08","datavalue":{"value":{"entity-type":"item","numeric-id":3686710,"id":"Q3686710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$2323B390-3F8D-4827-959F-4B00CA30C624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d01c00766468a9b0530a772f3e661235a6b978","datavalue":{"value":{"entity-type":"item","numeric-id":5024726,"id":"Q5024726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$5F82BC10-EAA4-4C0F-B659-5C4212109D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$BBC4655C-63A2-407B-961A-F5A80A8EE169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$F9313AA7-6BEA-46EF-9975-1229D837BA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a48f82a53c582d3340b42b6f1c0f1f7d1cd206b","datavalue":{"value":{"entity-type":"item","numeric-id":5656860,"id":"Q5656860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$C0C27701-DBBF-4383-8A6E-D806AE96E118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$34C4EE02-5C41-49D2-A0BB-918123BD73A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0204275e5d4ad069b72b09bd6b0fc570063327f","datavalue":{"value":{"entity-type":"item","numeric-id":2476020,"id":"Q2476020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$A15A688A-D8F6-432B-BF80-4CE2F9E687C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b597c365a014dac51aeaa5fe82706f0bdc23791","datavalue":{"value":{"entity-type":"item","numeric-id":5759817,"id":"Q5759817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161463$7C14134D-18AC-4576-90D4-021A3BD46D49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07c9131bd7c541200fe9405cc0256ee35ced5cbf","datavalue":{"value":"10.1016/J.IPL.2023.106403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161463$134C305B-073D-4436-A570-D3590818C376","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6161463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6161463"}}}}}