{"entities":{"Q5079744":{"pageid":7109320,"ns":120,"title":"Item:Q5079744","lastrevid":55944586,"modified":"2026-02-21T09:33:50Z","type":"item","id":"Q5079744","labels":{"en":{"language":"en","value":"Symmetric circuits for rank logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533345"}},"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":"Q5079744$FE833585-D862-4AC4-9BA3-EC1124DB37C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$BCA7F258-B0B9-4CAE-8465-DF4F4A7716F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd29416016343cc5bf82542ae829b26dcc8b3567","datavalue":{"value":{"entity-type":"item","numeric-id":5056364,"id":"Q5056364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$5678FC0A-6240-4CED-958E-CCFC80901E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079744$FC24B1BF-143F-4B91-B872-E8D96C0EE062","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52a54c960ea3686d664e575d99b6d8fba2511e0d","datavalue":{"value":"https://arxiv.org/abs/1804.02939","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079744$00BB466C-7817-4C1A-BC92-7174D180AB3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079744$E4029BBE-6D34-4539-9E95-B4B7B6EB581F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"929e46da2043f8e819ee17c8d1536c96d6e48892","datavalue":{"value":"7533345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079744$A3B071F0-20D9-4C2D-966C-15A99150B589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac8891ad3190066403f3e84f876d554f5949211","datavalue":{"value":"fixed-point logic with rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$B3BDA423-64CB-4BD7-A480-7E93CDD69F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2773dc0449ebf96bb1747bc4f2b2f0a2faa889","datavalue":{"value":"circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$BDF7F48D-8857-4821-AEE5-22ED8FD2937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b516a2aaa3aae830af7d1e8840b52c2b6be96c4c","datavalue":{"value":"symmetric circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$D8A94C89-25C4-4400-9106-FED88A723B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c11b40f6ae73a1c679ec0b9c09eb55c421d487ac","datavalue":{"value":"uniform families of circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$8A3963B9-BBEE-43F7-B411-60633C977B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f548a38059514e5e3304276ef756a40d5fd528cc","datavalue":{"value":"circuit characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$C8C99224-2670-4BF2-9E98-D050E012982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a716ca6309d280203a5ca7696920abeb14e26f9a","datavalue":{"value":"circuit framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$3DD1BBC2-1E06-462E-8F3E-CC065DB12AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4230f45f8a25922f66e0657fe340bccd5b8cc551","datavalue":{"value":"finite model theory, descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079744$B9DBB39A-E5F2-4857-B385-FFA235181A03","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":"Q5079744$68CE5DB4-1569-45A0-BCA4-0465508A1432","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dc7dcec90f8c76fe23af3c7942c49b6762b092","datavalue":{"value":{"entity-type":"item","numeric-id":2363965,"id":"Q2363965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$A568DB4B-73A6-412C-A5BE-0648BE663D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892e75179617c89acbf3771cece506a54985c029","datavalue":{"value":{"entity-type":"item","numeric-id":2798017,"id":"Q2798017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$0BF80370-5213-4521-A628-FDE07D43DFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb9f97ecf51e2b21a1f4252a5f98fb821fe1b30","datavalue":{"value":{"entity-type":"item","numeric-id":2865066,"id":"Q2865066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$2B42D371-6326-44DF-9B59-5FACE5A6BC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93e79af069881cfe3bdf4e9328dea1b8871e999","datavalue":{"value":{"entity-type":"item","numeric-id":3767263,"id":"Q3767263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$ADCEA692-55E1-410B-AE68-BD422854822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb0ec9d88a2c7de94e65a33cf9dc363df07b879","datavalue":{"value":{"entity-type":"item","numeric-id":5351970,"id":"Q5351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$15E911FE-DEC3-4970-9019-9C74AF6ADBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7766f5c7a7f83016f125334d4f442efd498b5f","datavalue":{"value":{"entity-type":"item","numeric-id":5347096,"id":"Q5347096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$221B9A4F-D520-4BFA-86A3-064B45D2E231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b2df16e0721643b5780540c289c533ac16c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$9923563C-8C17-4202-9C98-293887550E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$192C64D3-6D23-4216-8363-8D8808C87178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$0EB1AB85-4B9B-42F3-8645-320BB6F0602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$64B890B8-D4D9-4A9D-92F7-F80489CACBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3404436b87ae7b225997974de59d6443036f6956","datavalue":{"value":{"entity-type":"item","numeric-id":4362929,"id":"Q4362929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079744$BEE64114-50AA-4B3A-AA8A-578CB6FB510E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"494855c0384e1fdffde23907b5c7d81d9df2c7e6","datavalue":{"value":"10.4230/LIPICS.CSL.2018.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079744$2CFCA31F-E8FB-4EF1-92DE-8A765541F7E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009a664ff144c699501eeb3cf0f486d4ec5cf37f","datavalue":{"value":{"entity-type":"item","numeric-id":5056365,"id":"Q5056365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ae9c9f1314dcb6afaeb5faf6003d7156ffd113","datavalue":{"value":{"amount":"+0.9996431469917296","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":"Q5079744$A6A77B54-CFEF-432F-984D-F91079BA3754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ad29765f806ca650081b5e9f009300be244914","datavalue":{"value":{"entity-type":"item","numeric-id":4628673,"id":"Q4628673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478d07dcc4d3ce5db8e052ef2065968046a96f74","datavalue":{"value":{"amount":"+0.8654896020889282","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":"Q5079744$D7EA4EC2-7A52-43C5-BBA1-DECEC1CEA3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc403578ce6d41159df18e472443582ff64c1aa","datavalue":{"value":{"entity-type":"item","numeric-id":5351970,"id":"Q5351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baecff6ddd5df79cbe754eaf4ca577db42540b21","datavalue":{"value":{"amount":"+0.8630658388137817","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":"Q5079744$5003CBCF-64AB-4CBE-8521-CD6539A3D2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1763671dad01388971940e9ba27d4b68465bf7f3","datavalue":{"value":{"entity-type":"item","numeric-id":2965470,"id":"Q2965470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3e7b03eae8c1c3e44c97f4fe713a2dc56a1658","datavalue":{"value":{"amount":"+0.8240166306495667","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":"Q5079744$6ADA9322-1671-40F6-9F1A-081A9EC49AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d39ca3ef72dec5e90d5718491675634672ac643","datavalue":{"value":{"entity-type":"item","numeric-id":2363965,"id":"Q2363965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136c1ca5e29fa1cf8f425edca4d1ea373542491a","datavalue":{"value":{"amount":"+0.8226998448371887","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":"Q5079744$6DCD8280-6225-416C-B9A3-E7AE508B7D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079744"}}}}}