{"entities":{"Q6608057":{"pageid":14219214,"ns":120,"title":"Item:Q6608057","lastrevid":55752865,"modified":"2026-02-17T22:11:11Z","type":"item","id":"Q6608057","labels":{"en":{"language":"en","value":"A criterion of properness for a family of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7915935"}},"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":"Q6608057$51670CD1-0022-42BC-9DD2-98BD4F604956","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d6ae5abf71a4a2f2249a1293f0352eebd696757","datavalue":{"value":{"text":"A criterion of properness for a family of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6608057$0908C677-4465-4374-9C82-A519ABC9E98A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08e6b656659bfefe3cc2a7e952ff36215275eecc","datavalue":{"value":{"entity-type":"item","numeric-id":783114,"id":"Q783114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$BA0E5266-029E-46DA-AC3F-98B06921CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef14e45b4422160f8d94ae264ab10b80b47ecb2a","datavalue":{"value":{"entity-type":"item","numeric-id":783115,"id":"Q783115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$341D28AB-7377-4462-A20C-EF6026820366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3990db3e37b12e0678eea60aa7158a397755f5a2","datavalue":{"value":{"entity-type":"item","numeric-id":2081020,"id":"Q2081020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$747D3029-6ECF-43A9-A798-7D2DFBB6594B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$6DAAE6FD-EF5F-4E80-AFC2-013D93FE5218","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c1d820a73b34e5ff6fe8014a847229a5453a149","datavalue":{"value":{"time":"+2024-09-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":"Q6608057$1A905564-F88D-4F29-B4D5-1AC44AB1BF7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4280f234ae64edbc2e3a6a29fc443328153f3b81","datavalue":{"value":"The authors extended the result on the Boolean case of families of functions to the case of k-valued logics for \\(k > 2\\). They showed that in the case of \\(k > 2\\), properness is equivalent to the existence of a hereditarily unique fixed point for the family itself and all its re-encoding transformations, and observed that re-encodings enriched with consistent re-numberings of variables and functions are the stabilizer of the set of proper families.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6608057$A761F316-803E-4ADD-8765-0371D0399920","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"75f69d4935c517fcfd1eda4cde0ba18d31ba00cb","datavalue":{"value":{"entity-type":"item","numeric-id":2101711,"id":"Q2101711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$E2C38553-9A93-426B-A9A8-CF5012811AC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6608057$6CAC22B1-4A63-4D32-A799-A5E5172CB475","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"655cdf6c3b4d125e9653b189d3e3adbea3d7c825","datavalue":{"value":"7915935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6608057$38F36DE0-8F38-4D75-AA2F-F20E45C2E638","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d412a9e9db89f08ac8bb78856f145695beac3b","datavalue":{"value":"\\(n\\)-quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6608057$8BB562DB-B456-45C1-A9D5-CD60D47A5CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39dcb3d4444c87fb3328afb84aa86cff49066330","datavalue":{"value":"proper families of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6608057$B2AF664C-040A-4377-B981-312C0F696851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6381e67c7b2cbdb9ed945f4e44328ac924a280b2","datavalue":{"value":"unique sink orientations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6608057$604A21BD-E1E5-4AB1-A372-92B3C15D2F65","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":"Q6608057$787BA8C6-95E0-48A9-AAA0-6B974A9D0524","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21b62e4b5b3050ecbb5fb41a38c91aee658f157","datavalue":{"value":{"entity-type":"item","numeric-id":5241133,"id":"Q5241133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$19AA135A-62A9-486D-986E-38B60B831318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201c919fe843de085acb38b43c6c5b2f8763bf0e","datavalue":{"value":{"entity-type":"item","numeric-id":6188217,"id":"Q6188217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$95433772-776D-4480-9A53-233C99D87F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d5e52dce48db8e5aedf1dbd24d2d94734c9215","datavalue":{"value":{"entity-type":"item","numeric-id":898154,"id":"Q898154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$D14EFF0C-60F0-4838-ACAB-85E8737E5BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50fdcc9b76329d0cb5e0c83c9f8216dd6252aaa","datavalue":{"value":{"entity-type":"item","numeric-id":2207019,"id":"Q2207019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$8F230B32-729D-4981-854D-88C0D4A04E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9f50447037bdc600512d0d50fcbc9f18b6c11","datavalue":{"value":{"entity-type":"item","numeric-id":6051897,"id":"Q6051897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$2F05E052-8B8C-4D04-A8B0-980EFF8DB8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f880dc9e14c4d56e772a6801f38758c2823262","datavalue":{"value":{"entity-type":"item","numeric-id":2172878,"id":"Q2172878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$09861786-2FDF-460D-B11A-BFC402CA8051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed42c103b15e58c1104cd133350cc94393b9a02","datavalue":{"value":{"entity-type":"item","numeric-id":5117055,"id":"Q5117055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$276F1403-41C7-4854-A5F6-22DE09E5DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4257bd344d2e5e05f26017c349f272bae312263c","datavalue":{"value":{"entity-type":"item","numeric-id":3637864,"id":"Q3637864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$FB594DC2-FBA3-4043-B90B-386EB24146C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8077d2ee49c1a9835cbbfb1822b5830c65166ad","datavalue":{"value":{"entity-type":"item","numeric-id":2342676,"id":"Q2342676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$4BBD5EE7-A415-4D60-9B03-94887267577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a8037ecd293e8b7ba205309cf51da2ed71d0cc","datavalue":{"value":{"entity-type":"item","numeric-id":2003487,"id":"Q2003487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$4F5D3C3C-E339-43B8-888F-48A61031F2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035890bd836927b121c6e43813b1aef7b1cfefe5","datavalue":{"value":{"entity-type":"item","numeric-id":5741576,"id":"Q5741576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$BDB4AF74-5F07-4222-9D84-BA9DE23200F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e16c0141b957b01d47c1bfb1739618e4e918aee","datavalue":{"value":{"entity-type":"item","numeric-id":3267431,"id":"Q3267431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$1D5E35B6-7226-432E-AF1B-20DFFD29C339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9efbade65c2927790afa2425269dc3b0e5c71a3","datavalue":{"value":{"entity-type":"item","numeric-id":2268339,"id":"Q2268339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$C4427385-8A2C-4F3B-B363-CA2275E14375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef3a9836e93404856a08f6b9e1f4872fbc91246","datavalue":{"value":{"entity-type":"item","numeric-id":5151442,"id":"Q5151442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6608057$8DA57AA7-134E-4E94-AD0F-21805BC35E28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"746d4ba0b9ee4cc9c6f82d9921af8cdff9c5d478","datavalue":{"value":"10.1007/S10958-024-07363-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6608057$4D4B35D1-E569-4348-B9CD-8ECE7D17860D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1802ab6701e930f44051acfde75a99a89f88deb1","datavalue":{"value":{"entity-type":"item","numeric-id":2081021,"id":"Q2081021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7d7bd9b69aaa9bfccd95178adc65b803310361","datavalue":{"value":{"amount":"+0.7927902936935425","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":"Q6608057$6F02A610-94A6-47CF-9348-0DC2DCABC584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37d8dbe52f6b6281603ccf198ba75364d4dfd57","datavalue":{"value":{"entity-type":"item","numeric-id":4732444,"id":"Q4732444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65eba39e927be6ecbc95103cce372ca368849a8d","datavalue":{"value":{"amount":"+0.7269520163536072","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":"Q6608057$DB701618-8ED5-49F2-B392-2287BE023DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a43a7e3e16d75cdea4786a6a4a76d9df36eb0de","datavalue":{"value":{"entity-type":"item","numeric-id":3720566,"id":"Q3720566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa50e36c503f1b33448c5f5eca6df886cb66ac81","datavalue":{"value":{"amount":"+0.7221707701683044","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":"Q6608057$1ABE408E-0D99-498A-A113-2AC24AE9DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67091595d545a1a6addbe4e97ffe35e8ae1eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":2314210,"id":"Q2314210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910959f9b8d3c5f73c423863d1253a62843bdb30","datavalue":{"value":{"amount":"+0.7213501930236816","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":"Q6608057$85FED525-B3D3-41B2-85D2-364E24854BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a32332bb15f0d08af1ef9112a400121b99bdbab","datavalue":{"value":{"entity-type":"item","numeric-id":4007425,"id":"Q4007425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ccd1935296e263efa39ffbae34f8aeb1313cde","datavalue":{"value":{"amount":"+0.7169994711875916","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":"Q6608057$281210C6-6C68-4B96-99D5-2887F791D17E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6608057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6608057"}}}}}