{"entities":{"Q6595122":{"pageid":14206279,"ns":120,"title":"Item:Q6595122","lastrevid":103663682,"modified":"2026-06-06T07:51:43Z","type":"item","id":"Q6595122","labels":{"en":{"language":"en","value":"Override and restricted union for partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7903421"}},"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":"Q6595122$57C86896-F749-4583-9A5E-29E431AFB880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4012234ce3b084a8aada97d64f5972dce0552891","datavalue":{"value":{"text":"Override and restricted union for partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6595122$B3CD9059-9F7E-4208-B5CF-AF9A82EC7DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290b302b4bd6785e5f63e4d3d037b3f5d9b208a7","datavalue":{"value":{"entity-type":"item","numeric-id":915469,"id":"Q915469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$39FDC34A-6F00-4313-990C-F528F65306AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$1AF950A5-892A-483F-8598-3EB76AE67308","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23ae4fe473a8a206d8424d79281bf861ccf12a8c","datavalue":{"value":{"time":"+2024-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6595122$F9336741-934E-44C1-B71C-413437DE4A44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595122$28946ACA-DA6A-4B25-907D-01335AA4F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595122$0411F327-A62F-4E72-8F78-38D0561F1B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595122$66BC08A8-0B14-418C-94F0-8DC6F2B08F11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f4c28888008cc64b52c97268b62db3d62a2ad89","datavalue":{"value":"7903421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595122$52307DA7-72FA-44E5-B98E-BCF2A662D149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c0b9f590f9c7db6794b6e6756c05cf4e7719a63","datavalue":{"value":"function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595122$C5B64970-957F-497C-91C5-E1713825252B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10482d96a5ad1aa73f988ebe1491a98588802971","datavalue":{"value":"override","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595122$B92F9A7F-792D-40A0-BEA6-FF5BF7EAC49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595122$DB3EC713-CA0E-457E-BFB0-28849495DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595122$28F36A7F-245F-4F25-A4A8-A265B5AB3F05","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":"Q6595122$0DE22911-D9BF-49D8-8625-4EA637B555B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$C6D7C462-3858-423E-B9AA-0D17741DEAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460ade5e92963966f63f664914f7c3e0486ae141","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$B94413CC-23B1-41F8-A07E-E1902377B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b3c99e6a632bd5b8175186209283ac02e5e370","datavalue":{"value":{"entity-type":"item","numeric-id":975885,"id":"Q975885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$B1029266-50B7-4624-AB28-9CA1B6AE4459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cfcfb3cb155cf1f3ef5d1476ff0496402606c3","datavalue":{"value":{"entity-type":"item","numeric-id":633219,"id":"Q633219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$1AADAA74-9C4E-49EF-A304-DD620FED44A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51894f52638c1304be60094f28e873f0cb1f404f","datavalue":{"value":{"entity-type":"item","numeric-id":2446546,"id":"Q2446546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$EE2F6589-9070-46C1-869B-70CB011E93B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4748e6eff69142e07ca0f9dc2daf1dc84e6716d3","datavalue":{"value":{"entity-type":"item","numeric-id":5656959,"id":"Q5656959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$A35AB9DC-414D-4E09-BC22-F68E007C5F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64583360fa5ff98e00b532eef4291ac22d7650c6","datavalue":{"value":{"entity-type":"item","numeric-id":1338953,"id":"Q1338953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$13AF8075-43B0-41C5-8EA0-01DDF406FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad1c7d4992cfab926d59ddb01ea411cca1fbebf","datavalue":{"value":{"entity-type":"item","numeric-id":5278076,"id":"Q5278076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$35B9A551-7B35-4665-84FD-19D0D63E1F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bddcffd51203241ea97b9e900ec028a9183a32","datavalue":{"value":{"entity-type":"item","numeric-id":3112579,"id":"Q3112579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$C1325348-DF4C-48ED-B567-462FE7BFE462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe3c245eca5abc17422164f4aa73a5d3f4e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":2200953,"id":"Q2200953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$C93BF8D9-EE08-4DAD-8F99-9EB4D634019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e281255931d986dca3a8e220de475e1a83ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$5504C1E3-EDD3-44B9-8C90-6C31F8E9A648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906e4ca161dae6a140475fc6b216dbd9b2c21c26","datavalue":{"value":{"entity-type":"item","numeric-id":1184165,"id":"Q1184165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$A4742A65-9097-4F32-A094-0228942D1FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9af42b28d4e308827f5cff6aa6aa66d2c49eb9e","datavalue":{"value":{"entity-type":"item","numeric-id":467529,"id":"Q467529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$6C2D14AE-1664-4C25-9551-C60FEE28DEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb0314adc59859983605e73a47d954a7b03c60d","datavalue":{"value":{"entity-type":"item","numeric-id":3502842,"id":"Q3502842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$7DDCB8A0-8CA0-4677-BA6A-81EEC70EE54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d0db42d1e7ffe4bd0e047971cf943a92a08f69","datavalue":{"value":{"entity-type":"item","numeric-id":5597568,"id":"Q5597568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$4C26CF38-D3D4-478D-9787-901BB2384E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$9E3C6050-AFBB-44EF-8BC3-89EA9272D9F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea7dc6990de798265ad55716ec0028360f331750","datavalue":{"value":"10.1007/S00012-024-00864-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595122$3360E1A6-678E-497A-BC10-F7CDE9B3546C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860cc5f09867ff1a80053e826da0a5f4e51e72df","datavalue":{"value":{"entity-type":"item","numeric-id":5278076,"id":"Q5278076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7569937f86b3128dbdb28afec9f19b5042578f7c","datavalue":{"value":{"amount":"+0.7994382381439209","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":"Q6595122$2E112222-1CA1-483D-9710-9633BDD3CBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90f07bdcf9a2c65dadd2faaa40cf464734f4252","datavalue":{"value":{"entity-type":"item","numeric-id":975885,"id":"Q975885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf03fe8b3348109c92d35876748580a47fbee51","datavalue":{"value":{"amount":"+0.7911679148674011","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":"Q6595122$74FDB5FB-3B16-4E5C-AD65-6FD32262126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4968d41cf7562173df60746b73224b7982226bd","datavalue":{"value":{"entity-type":"item","numeric-id":908324,"id":"Q908324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafc49f6c8ff2b4264cf1b113ae0202a512ace96","datavalue":{"value":{"amount":"+0.7834076881408691","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":"Q6595122$745EADD6-4298-42F3-92D7-CF00936B33AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f268517f315f7718471a3c1bf2dfe30992a26544","datavalue":{"value":{"entity-type":"item","numeric-id":3808144,"id":"Q3808144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27d1869345d86e073a43e77ee60469375ac3356","datavalue":{"value":{"amount":"+0.7833464741706848","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":"Q6595122$A9E70E88-19A0-40EB-9337-BDF699C48FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf6da0d8aaecff61a8f003e3f7b50739457bece","datavalue":{"value":{"entity-type":"item","numeric-id":2200953,"id":"Q2200953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc94e6db3fc1dcc17859afac92ad5b6ac752f276","datavalue":{"value":{"amount":"+0.7756063938140869","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":"Q6595122$822E2B72-47A0-4067-A612-8D858FE982A1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595122$595B565A-0973-4E68-B248-BC3D0EC2DE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Override and restricted union for partial functions (scientific article; zbMATH DE number 7903421)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Override_and_restricted_union_for_partial_functions_(scientific_article;_zbMATH_DE_number_7903421)"}}}}}