{"entities":{"Q1688541":{"pageid":1699282,"ns":120,"title":"Item:Q1688541","lastrevid":72516417,"modified":"2026-04-14T05:27:20Z","type":"item","id":"Q1688541","labels":{"en":{"language":"en","value":"Cardinality constraints for arrays (decidability results and applications)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6823095"}},"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":"Q1688541$A25FCB91-087B-49E8-B8C5-7602100F348A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"057a7d2b3e0f2206558f57f49101cc4b3bb37eff","datavalue":{"value":{"text":"Cardinality constraints for arrays (decidability results and applications)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688541$48EDAE21-536E-4696-AD47-AD2DC1EF684F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c7d4571d47035150a16bd97d45c458044ed9044","datavalue":{"value":"1377.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$13AFB595-C827-451F-864B-C48423A64EC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$3B4542A2-55CC-48CD-8F31-3D3A4E49C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df320b2bf5040745ea698d888ef24486bf9092e","datavalue":{"value":{"entity-type":"item","numeric-id":287270,"id":"Q287270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$DF4113B8-983F-4C01-A138-806EECD5B7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40132ec6ad5d1cb17cec408f4165e5b202bf8a62","datavalue":{"value":{"entity-type":"item","numeric-id":2031421,"id":"Q2031421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$48B902F7-3C39-4517-BCA7-0C57B904C5BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$B7058D8A-6870-48C5-9EAB-46CFEF8CC80E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59296522954f8d459370efc0222ca77af7f0a85b","datavalue":{"value":{"time":"+2018-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688541$68D6F437-0928-4A6F-AFE8-D3F8628A8CF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$86C44E2A-2152-4E13-A35C-364FC3FADDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$E940C0A6-057C-48A1-9362-1AA9549741A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$269F9EAB-E2DE-48AC-A3D0-2923C178F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$E25B1DFF-AD6D-42DD-8759-C824C769F32D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97a936270801b2af2d5ddde3fcb582e4a6b71df2","datavalue":{"value":"6823095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$0BB2ED26-4B2D-4716-82B5-92744EE48D84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688541$E2E0D993-595E-4B5D-810E-D15C196A514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f22188f120daab160d89caf625f27e583414e1","datavalue":{"value":"cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688541$6CDA5284-EC21-444D-A494-4FC093803381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728a60392fbbeb8fb0985af3abdb00b6f1f89d13","datavalue":{"value":"fault-tolerant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688541$4900F066-3D6A-4CF5-83D0-98DE9BC25256","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$1AA5E1F5-BB36-44F7-AFBE-4D2FDB4F13BC","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":"Q1688541$508B56E8-068C-4172-A12C-C535C66119F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"629d402a72fa8032f1a19c3624cc5d75cda0528d","datavalue":{"value":"https://doi.org/10.1007/s10703-017-0279-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688541$071B4825-9056-4ED6-9CEC-88232F2B61B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"390217e751c7b8363e66b324964a066cc6fad61a","datavalue":{"value":"W2606648105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$6B3C1BF0-962C-4720-B9D6-B790841C77B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$29DA9A94-8EA4-48A3-875E-4CF072E86732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4eab86dc21504526d3d070c41ee51a25788b51","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$B3376C61-789A-4146-A841-6A92B17625B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$A3FCBAC9-CE6D-425C-B0F1-E660CF444A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$6588CCB0-DF32-4FF8-826E-42B57B314922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bd3de13a789153ea19b03e71b46c89e1650765","datavalue":{"value":{"entity-type":"item","numeric-id":2817911,"id":"Q2817911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$3B5ECA9C-32D5-4A33-A257-BB3B4C1A54D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514430fb16af5350d3da66c57a77fa416ade52e7","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$CCD7B137-4490-46C2-A89C-EB42D80E7E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126e5dfacc7f9aed01f6e192710147ed8c12ae25","datavalue":{"value":{"entity-type":"item","numeric-id":2817912,"id":"Q2817912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$5A082AC1-7BE0-4EDD-BDB1-FF189EBFE084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf6d75707b342bdda2f81e5fe78fe1e3516c934","datavalue":{"value":{"entity-type":"item","numeric-id":5401417,"id":"Q5401417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$6C888FCC-A5A0-4ED8-B330-1B6B24677D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e956495daa5fa4cde9f4e5280545198a285910f","datavalue":{"value":{"entity-type":"item","numeric-id":2377130,"id":"Q2377130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$CED9A8A3-3640-4F90-B83F-2601526FDB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe378ad32816b2abbe80595494524fd11aedfba4","datavalue":{"value":{"entity-type":"item","numeric-id":4945217,"id":"Q4945217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$2530FECE-4B53-42BA-AFBB-2EBF6059105E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfbbd125184e529ea4d1d97c2a27f9b0512d42a","datavalue":{"value":{"entity-type":"item","numeric-id":2938065,"id":"Q2938065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$AECD237B-2ED4-4EA3-BBE3-311606DF45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2381769c91e0f4f7d63da7922489d9a6c998071a","datavalue":{"value":{"entity-type":"item","numeric-id":2828285,"id":"Q2828285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$AA6DA759-7D81-467F-9942-DD2A32741EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$712E2424-4CA7-4E7F-BB7E-4A79F1B4BF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$AF595837-FD54-4A4A-8C5D-E0744AD71B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214f2eae85322d260718d324ccff5927cef407ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031422,"id":"Q2031422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$8946FA75-D112-4275-A030-8E5DF99676BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$5B08FB85-5D80-4731-8498-1C07CA19338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff4c3b8f6a7b25d6a54721439d9d3c8a0c98a84","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$174F6C5E-B85A-4365-9CD2-688FA1DEBB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c438d9619a1948fe160d10c2caf8bfc34f389fab","datavalue":{"value":{"entity-type":"item","numeric-id":729813,"id":"Q729813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$7BEED436-DE4F-48E6-814C-8B8B4DFF9133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fea99463363043d5be2ede58259215d91ecfdd","datavalue":{"value":{"entity-type":"item","numeric-id":3179167,"id":"Q3179167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$2DF9999C-66CC-4B40-BDD9-D602A9788FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$A2334FC6-DA0A-44B3-9470-60BEE85CBAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e690a622a61afeb0c2a7c388c1cf18ef89252c9","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$BAF8FD73-E9DB-4DF5-8F8D-4889D204E9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278276176b213e20723f5199a3fe875c19d6492","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$BC1FECC8-8FF1-4E32-A758-79E299D416B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$9DB5064E-0C91-428B-A44A-307CB2A4B2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdca2c13e6565f2cdd29e0b7f5ce54fce0c0a91","datavalue":{"value":{"entity-type":"item","numeric-id":5452719,"id":"Q5452719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$F44DB20F-9ECC-4B92-910D-006EFB9B2C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dbda54a9ee4ee0fe4594de23fc72ac31b585ec","datavalue":{"value":{"entity-type":"item","numeric-id":3656897,"id":"Q3656897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$A0148E35-74F2-4BEA-A45D-066A831153D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb03578ceee8d5f3eded579265395839113bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":4737128,"id":"Q4737128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688541$5135C70D-B17D-414E-A6C2-FB528CB37FB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"479e2dd727b2922af8bcb0932e102ee742b8ba7d","datavalue":{"value":"10.1007/S10703-017-0279-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688541$69DEFCBE-C7D5-490A-937D-BA772ACA53D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a62c6a0aecf6ffbd45e74471859598945096d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2817911,"id":"Q2817911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4286c60c3b2b8ca64f51f2d89933aca62f200f6b","datavalue":{"value":{"amount":"+0.8669699430465698","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":"Q1688541$EEFD6B2B-DF69-4E6C-AC7D-04F6A923932D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3fd650ff3b26f6b5d9a592c7a93f5a423d95d7","datavalue":{"value":{"entity-type":"item","numeric-id":5452719,"id":"Q5452719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b7a4fef62ccd81eb7ff490b091e33d37e2253c","datavalue":{"value":{"amount":"+0.7675687074661255","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":"Q1688541$49BB2FD9-9023-4042-A126-5EE9EF6062AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274867b6fcc7d562f7a72620b27d5cfc445805bb","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5694c902bd8defa28de4597eaffa12672cc077","datavalue":{"value":{"amount":"+0.7588595747947693","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":"Q1688541$F8F806EB-A3F1-492B-A2BA-002810226920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba7c2765c3e5eaa21b07116c65539206c848f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3540175,"id":"Q3540175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92146cbd376c2eae84f4aba0e538f00328850fb","datavalue":{"value":{"amount":"+0.7584688067436218","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":"Q1688541$F55B4CFC-77A1-42AE-9FCD-B77ED7A4BD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3d36386d25301994c9d8622beead935a6ca46c","datavalue":{"value":{"entity-type":"item","numeric-id":5758056,"id":"Q5758056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cdbdaf46befd481cf7fae7fef5b94014bde5a0","datavalue":{"value":{"amount":"+0.7536212801933289","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":"Q1688541$27EBABF6-E35A-45A9-BFE4-3C19C933B083","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinality constraints for arrays (decidability results and applications)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cardinality_constraints_for_arrays_(decidability_results_and_applications)"}}}}}