{"entities":{"Q7361416":{"pageid":31519787,"ns":120,"title":"Item:Q7361416","lastrevid":105365786,"modified":"2026-10-07T13:36:17Z","type":"item","id":"Q7361416","labels":{"en":{"language":"en","value":"Relational Divisibility"}},"descriptions":{"en":{"language":"en","value":"AFP entry Relational_Divisibility"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ebf304294c1c32ad1b0981826030aa99b7c63eb","datavalue":{"value":"https://isa-afp.org/entries/Relational_Divisibility.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361416$1A451AD7-4921-4313-A09B-1E68B19CA192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8603310635758b3f709335e12e99f49060bd739a","datavalue":{"value":{"time":"+2025-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361416$253CB6D3-6334-467C-A85A-0041157F5D0F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361416$F80871E7-3426-4079-B6BE-9DEDD7804E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ab678eb1f04f1b1f09f99534a81145e861c5e2","datavalue":{"value":{"text":"Relational Divisibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361416$EE02C689-D828-4696-BC23-1F2E0C6B4512","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a91d5b6459d44426bed9f7f4bccbabc4ab4106c","datavalue":{"value":"We formalise key concepts and axioms of the divisibility relation on natural numbers using relation algebras. They use standard relational constructions for extrema, bounds, suprema, the univalent part and symmetric quotients, which we also formalise. We moreover prove that mono-atomic elements correspond to join-irreducible elements under the divisibility axioms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361416$3650274E-4927-4BB9-9C6F-4328BB3E20E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97864e7c6a99ece042c37b2d603f504c31d24ba6","datavalue":{"value":{"entity-type":"item","numeric-id":582127,"id":"Q582127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$D283A834-C088-4F0A-948D-3E57B473EFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e337e1a3739178124e8337cedf962678533c2bf","datavalue":{"value":{"entity-type":"item","numeric-id":916643,"id":"Q916643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$E015C641-3297-4BEB-9295-049464C25DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e5b1ffc1fd8073de4f976d4764db5658742b24","datavalue":{"value":{"entity-type":"item","numeric-id":5790797,"id":"Q5790797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$22CA20A6-07FA-4977-A6A7-5F2F81FFBE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd7875a3e438e4ed33c8fa5a116cda1b69814dd","datavalue":{"value":{"entity-type":"item","numeric-id":3060335,"id":"Q3060335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$EB148CA5-E9A0-42A8-B3BC-E63BDE56D29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b649b628290f2d9c7d2653d82bb0a3f82e6fa754","datavalue":{"value":{"entity-type":"item","numeric-id":4041054,"id":"Q4041054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$ED90FDE9-9C87-4197-A9D5-187A4FCB1D0A","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$578BFF93-CEE2-4D10-B95A-9AD36831FD1E","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e6472d09a115dcd67020e341541771551b904fb8","datavalue":{"value":{"entity-type":"item","numeric-id":7361926,"id":"Q7361926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$2984310C-B128-41AB-B24A-24F649AB3D97","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a4f736a78ec41288f78e3c0d6553d1178e87e9d5","datavalue":{"value":{"entity-type":"item","numeric-id":7360831,"id":"Q7360831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$292B022E-A510-4344-A58D-10622BB7A10F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361416$1936B838-FAEF-4652-A5F1-FBF661931BF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational Divisibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_Divisibility"}}}}}