{"entities":{"Q5092397":{"pageid":7121973,"ns":120,"title":"Item:Q5092397","lastrevid":94333127,"modified":"2026-06-05T06:32:33Z","type":"item","id":"Q5092397","labels":{"en":{"language":"en","value":"On the strength of uniqueness quantification in primitive positive formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561680"}},"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":"Q5092397$6E4DAC36-5931-4CF9-B5D3-CD84DAA3A3BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14bf9162b740554f10f249160c6a8ec7be62f28","datavalue":{"value":{"entity-type":"item","numeric-id":340557,"id":"Q340557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$D6910FCE-7C60-437E-A5A0-36304CDC9928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c33c937c340ac6625c801da5ce7dab069ee9bdd","datavalue":{"value":{"entity-type":"item","numeric-id":340558,"id":"Q340558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$F61E1BC7-FD5C-4481-8FA6-5C451788AC38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092397$F135B3A6-E1F0-4935-A852-566F58BC20CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e071b8ffc234a48594860d665d0b4c8245d23d5","datavalue":{"value":"https://arxiv.org/abs/1906.07031","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092397$9248BD5C-82DC-4068-9451-2E7ACB276140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092397$FCFD271D-5250-4DBF-9C85-D44A8E7FDA7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b7c4191597858448a72ae989006f75cd36225f0","datavalue":{"value":"7561680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092397$D96DBC92-AF42-4E4B-A3E5-BE81E908BACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0894b3fb6e041b852bf88faa3e4072d97a06c0","datavalue":{"value":"primitive positive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092397$7F104FC7-3DBE-4F58-9192-33095D2A7F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f7f00897f333d8807e836f8b5148926d1762eb","datavalue":{"value":"clone theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092397$C42DD042-3A58-4CB0-83F7-C54415C805B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092397$E452FE99-8592-4253-B7DC-423552AD3038","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":"Q5092397$6F3FFD5B-BFE8-4E91-9DE9-CD3DDAC433F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e2aa9f6a4eb970f9ffbb9cc6da69541b953c20","datavalue":{"value":{"entity-type":"item","numeric-id":4993594,"id":"Q4993594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$BA8385F1-94AE-4069-A5CD-03A44C87A9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$ED29ACE5-EFCE-4790-B675-0D63AE73C644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$E32CF666-06A0-4101-A5B4-06D07798B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$5DA67FFA-AEBE-4E0E-9737-974DE09A516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d9571fba27d91274408c6b1abd2f3213070da7","datavalue":{"value":{"entity-type":"item","numeric-id":955340,"id":"Q955340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$64264686-6402-4D38-8DE0-80C6732DECA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b95fad168eff7e162971f51061049b58880d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5504698,"id":"Q5504698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$37BACC11-8E3F-4D84-AA07-1C8C9737B2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$0B8D042B-9EB8-4D9F-99FA-708E209BE117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$7AB4A040-8AD4-48E7-A7FB-6E2DC4F30B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a62d39b10622749e338de38252fcaed5d04493","datavalue":{"value":{"entity-type":"item","numeric-id":1276253,"id":"Q1276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$2772780B-E92E-454D-BCA6-C615873103C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d0e398fd73674d278a5b71a363e47b09e732a2","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$06BCAF4D-F093-4A06-AE25-8207FC0C6CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$5C360B90-2156-4AE7-A5B5-4446A60FD74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d989c12c295419a7cc9e906c50fcd67b273d58","datavalue":{"value":{"entity-type":"item","numeric-id":2448853,"id":"Q2448853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$0E7CD35D-DE5F-4C5D-AD9C-724EBE6F3A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512923e1310507c638c4121d5103a94eabef75f5","datavalue":{"value":{"entity-type":"item","numeric-id":5136331,"id":"Q5136331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$81DB76D8-8052-4894-9876-6CE37E2FCFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$D064B9BB-CFD8-4BF1-916A-23240B88FFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$0F4DD72A-D490-4B5D-AFE6-0CB8FEDBAE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$990A6E42-5912-42E2-AA36-E86357D8F62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebedbf13874b9ef42ab57c21d511466dac18346","datavalue":{"value":{"entity-type":"item","numeric-id":3918109,"id":"Q3918109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$A50C0A1C-A0EA-4226-A522-72E6BAD763A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970665c78fafeb8980f58c02b850306265e3dccf","datavalue":{"value":{"entity-type":"item","numeric-id":5504705,"id":"Q5504705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092397$BEBC9D9A-85F1-46D6-B156-406CE4DB637D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e76cd59e13976139a91de828cc6f8160c9962956","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092397$AF827F12-A5E3-4B68-8820-F01FB7C6DAF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7d84aac28aa4104c6f9771421b418b2d3a65d8","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6aac0cec8272e93edb05220705d1222d5321ee6","datavalue":{"value":{"amount":"+0.7495653033256531","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":"Q5092397$D2F2FEE6-BE94-44CF-99F2-87A593E75EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cabc5015d2b58d0dd4a796b6ae33e8594e3e15","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed87497d49516b6269d69cd3312db0ec33f65e08","datavalue":{"value":{"amount":"+0.7176629304885864","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":"Q5092397$CC2DB136-B1B0-47FB-B5D7-DDAD675BAE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363417256d8968c5d759791de63bd8286fb13ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1959381,"id":"Q1959381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53694f7cda70f6c1657968f07657f7bcb2b8b08d","datavalue":{"value":{"amount":"+0.6957070231437683","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":"Q5092397$1C0478DB-C569-4719-A5FA-17ED0F7CCBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d99c39e4a60a3272e2f4342211f082563accbf","datavalue":{"value":{"entity-type":"item","numeric-id":1353999,"id":"Q1353999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dc0201e161fad4857681da0dd23a3c18ba0d4e","datavalue":{"value":{"amount":"+0.6897547245025635","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":"Q5092397$721157BD-EC43-41CF-BAD8-9B5EBA57838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032820349b6915d082d1f22a94b4a061e2b7184c","datavalue":{"value":{"entity-type":"item","numeric-id":4981164,"id":"Q4981164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ca4bf23ea4ff1f46f422891be19e3ee94717a8","datavalue":{"value":{"amount":"+0.6779076457023621","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":"Q5092397$F85EC594-ABAB-4BF9-AC53-80D97022FE22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strength of uniqueness quantification in primitive positive formulas","badges":[]}}}}}