{"entities":{"Q2096432":{"pageid":2107175,"ns":120,"title":"Item:Q2096432","lastrevid":43513143,"modified":"2025-07-30T11:23:12Z","type":"item","id":"Q2096432","labels":{"en":{"language":"en","value":"Efficient automated reasoning about sets and multisets with cardinality constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614503"}},"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":"Q2096432$E493A7A9-2FAB-48BA-8C21-8767FCB02279","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a6a0335b68fcc0b776aa6a6399f97dcd4a32851","datavalue":{"value":{"text":"Efficient automated reasoning about sets and multisets with cardinality constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096432$EB733921-170A-4451-8183-277BAA234976","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be7660557ad4d1d66ca40170a37862f05437d0df","datavalue":{"value":"10.1007/978-3-030-51074-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096432$4D909163-3B89-4AF0-9619-3DF69B6A49D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3acd164a581932de272304f0d70a966bc961c951","datavalue":{"value":{"entity-type":"item","numeric-id":784150,"id":"Q784150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$0A1E5652-4F33-4D10-8601-1B9147161ACA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096432$059F8EF7-AC48-448D-94A4-0F67E5EC4B44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096432$9AB67A0D-4746-4B29-9B41-02ABA0E4988D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6496c2efafb50b9302ba2bbc26f4b5c59458827a","datavalue":{"value":"7614503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096432$3706010C-38C8-4FE3-BDC4-9AC69198E10A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096432$EFF10161-566E-4397-A407-9E1E96CACA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f22188f120daab160d89caf625f27e583414e1","datavalue":{"value":"cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096432$8326C816-5D39-45BB-851D-30C7FF907860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8afe646b29d7837ae3c844f59f10516c49af4874","datavalue":{"value":"linear interger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096432$3FE4BA2E-6475-460F-B850-04AE127B21EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d935dd339ed39002b12e8a51addd767364bb690f","datavalue":{"value":{"entity-type":"item","numeric-id":19234,"id":"Q19234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$DC424299-291A-4484-8CCC-611DD83B0272","rank":"normal"},{"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":"Q2096432$8C8BC85B-CC8C-4A99-BD0F-F710CC3B46A9","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":"Q2096432$802DA857-F209-4AEE-8943-1C9248E4FFE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"467f03d8d8936d7f4bb32ecf3f147893c6d429f3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096432$5CB96BF1-44D5-4DDF-AFCB-06A171C5048C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"196eb8418dcca72b139b28a2bd2404bb0051d974","datavalue":{"value":"W3039470177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096432$1B5708C3-A5E7-4D8E-8583-B9B694F35D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece5a7219afdde4c10caada730f4efdb72bf804b","datavalue":{"value":{"entity-type":"item","numeric-id":6154883,"id":"Q6154883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$0F85E5E3-4AA2-4AEF-92E8-988C36D2FF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$88CB29F9-1730-4222-A1F2-ECCBE9CCEC05","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":"Q2096432$3C7F7B40-C90C-4330-BE43-C0FCCE8CBD6C","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":"Q2096432$20A53AA8-45A7-4873-80FD-49CE139669D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3216d42207957e64bfec1ea73f6a86569343311","datavalue":{"value":{"entity-type":"item","numeric-id":784151,"id":"Q784151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$FEED83F4-6ABF-4312-9559-7AFAF94D11AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0214a0fa4331151ff4967ea5f34ce798b048f","datavalue":{"value":{"entity-type":"item","numeric-id":1770418,"id":"Q1770418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$97A84E3E-962C-4847-A650-92EB499667AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$544935EF-7589-4EC3-8EE9-B15617820435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12721ee3297056547b799c4830241b776a7dfef5","datavalue":{"value":{"entity-type":"item","numeric-id":3540175,"id":"Q3540175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$14ADC59C-0405-4C51-A327-A3EF2FCC9BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd3ae9ecaf03e669578b5127403b6c5be6add45","datavalue":{"value":{"entity-type":"item","numeric-id":3512499,"id":"Q3512499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$F7BC6AA0-EBD4-4F0F-B799-12A9CD989E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27848fce3b4584539982674989df5d6e00fd907b","datavalue":{"value":{"entity-type":"item","numeric-id":5747757,"id":"Q5747757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$ACA6AC97-944A-4AE5-84EE-32755C381231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$0A1CA43B-0242-4B1F-BCDB-477D4C025254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975c2cd3c1f72db1f1d9df42fef1c421eabc5d45","datavalue":{"value":{"entity-type":"item","numeric-id":4809072,"id":"Q4809072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096432$25DC059C-9E8A-4545-B712-C6A3E5ECAEA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096432"}}}}}