{"entities":{"Q3075499":{"pageid":3086215,"ns":120,"title":"Item:Q3075499","lastrevid":51188825,"modified":"2026-01-17T03:44:36Z","type":"item","id":"Q3075499","labels":{"en":{"language":"en","value":"Sets with cardinality constraints in satisfiability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851865"}},"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":"Q3075499$70A8956D-80AD-4383-9F7E-3E43E0F1F02B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6daf86ab8a16e3ce41275d87e8b435750fbd1b6b","datavalue":{"value":{"text":"Sets with Cardinality Constraints in Satisfiability Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075499$469B7204-42C5-45FA-8B00-AC7C7CDD704A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b23e3fbd6d83c5e81ad334a6d15a4000eedf0f","datavalue":{"value":"1317.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$673C1E7D-8BED-42AA-A972-415283E07176","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"823591cb42dd449c5dc199e35888f72c6a997403","datavalue":{"value":"10.1007/978-3-642-18275-4_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$615C0C8A-5E76-448D-8EB6-7E229D573386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dafcd003cea28da873091b3c225f35dad8078543","datavalue":{"value":{"entity-type":"item","numeric-id":2926640,"id":"Q2926640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$BE02B827-0341-41B4-A94D-A479325C4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc0958172eb13f5a02ff833bc113785fd5b1b61","datavalue":{"value":{"entity-type":"item","numeric-id":3075498,"id":"Q3075498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$EDD57A49-41B5-4DA8-AE2D-25971F25F742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$9F40B698-5CAD-4036-8F02-50F92F0F73A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$707D70FB-1767-47B9-B07E-BAE529003A80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075499$10C8A5A9-972B-4E3C-8250-E7EDC02AA31F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ff7eef4b4441b5c909cfa3f4dc630efa3ce93c6","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.3278","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075499$F463A243-FDB2-4EAA-87FD-DD90BBE9FD22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$3048B36E-5079-4669-A288-322EAC868AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$2BFCD59C-43CB-4E42-81F0-C62368B1559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$CF9B8D7C-75D8-47D5-A505-22A9A91E5A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$C317061F-17D4-4992-A663-6D21C9B45786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$3DD13AD2-B340-4F29-BA0D-96DCECEF9C01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52dae5e07e1398bfc8d5f9a44677b3b4ea6dcb67","datavalue":{"value":"5851865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$D0586FD0-4E2C-4D1B-A2A8-8C07D841465E","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":"Q3075499$35995F8F-67FC-4CF2-8CAC-ED16A5937467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$3D01FA3C-9897-45E7-B572-3D76C3188E7E","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":"Q3075499$4E651BD9-C6A8-4CC7-86AE-ACA28D8145A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aba1814d3c6371887e942b876a1dda43def6b987","datavalue":{"value":"W3137545899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075499$D2C1A59B-A4F9-473C-907B-D0AD4FBB468F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf419dac805a3a6e942f74800bb8fc1f530c0724","datavalue":{"value":{"entity-type":"item","numeric-id":3914400,"id":"Q3914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$BC632B3E-C05F-431F-B70A-C594578EA4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$48303600-D7FF-488D-A7E5-8C609C480E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037ca195490132aab7122302b39bc33bd4844393","datavalue":{"value":{"entity-type":"item","numeric-id":3655143,"id":"Q3655143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$5C3C6B60-4116-4FBA-8C3A-D70B0C2533DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916bfff73ab672f1043621ca668f716c2d60da90","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$155874C4-2F67-4487-96E1-632C4FC8582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd85db4cf8f5ea1fa0825bfe703e47067145f53","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$F1733FBC-141E-4316-B80E-59A71292D034","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":"Q3075499$22C1B844-7CE4-4497-9BA8-3E3D6C6A95D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1c5b88fb6e3ebb5ff83ae7e13d7b3aefbc8ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3656874,"id":"Q3656874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$979DB2F4-380C-4CD4-875A-D44AEE9C399B","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":"Q3075499$FD3C0C1F-07DD-4F7D-87D9-FD6931429D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374029bef706a4a7bb34ae1f43e9772d20725164","datavalue":{"value":{"entity-type":"item","numeric-id":5711506,"id":"Q5711506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$2249FE4B-0996-46B4-995A-E6639142CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$36B4D7B7-32DA-4B72-8769-1659B0A8C800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c949f29448916ba1621676584281ca376f1af5e3","datavalue":{"value":{"entity-type":"item","numeric-id":3636882,"id":"Q3636882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$0A644818-2304-48EE-9106-F3576F81AA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0896ea051424571856b7af2d59c1ac59a09686","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$0A5F15DF-62B5-47CE-B461-228296D79892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc80633033e33b0c5b134d43da0776fc1e27c25","datavalue":{"value":{"entity-type":"item","numeric-id":3655212,"id":"Q3655212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075499$B2FC8DD7-F9E1-4056-94D4-518356372C26","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":"Q3075499$8C0262F7-E126-4122-9D14-0BDE5A28AC1C","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":"Q3075499$98B37B30-F598-4AFC-8A64-405E5D267EF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f4e6ebfa1e70192a844c78c3c46c7dff577c39","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886709215896dc210c171553bb064c6897761b35","datavalue":{"value":{"amount":"+0.8314212560653687","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":"Q3075499$860048D7-45A0-4608-BEE4-946C7BB3466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743cbcee2fe66fbeb9944a7576f66e85b6b98cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4553283,"id":"Q4553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097792a68eeb51dddbd9feca4f1f0094ca5ed1f5","datavalue":{"value":{"amount":"+0.8265353441238403","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":"Q3075499$DCAE23B4-DAC8-4974-BBDD-E1E5027FB09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56333c01f72340c60a9d60cd9f1e0709b308d580","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf230846f7fcd137ade834d000fe562ff42bae6","datavalue":{"value":{"amount":"+0.820850670337677","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":"Q3075499$5FE5CF4D-9106-4E14-82BD-22DF0D39600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f3bdd926c5dc8eeb2c894e6ce6885003efff56","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1548110fd4ae0fa7ccdca0aae53c295bd346a89d","datavalue":{"value":{"amount":"+0.8122244477272034","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":"Q3075499$3C58DC0E-7264-4D19-85B4-CB029C10D665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c4d926d34826d7576df7e06528133bf05a7fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2817912,"id":"Q2817912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f822ffef62333df95714a303666d1df126f8995e","datavalue":{"value":{"amount":"+0.7888391017913818","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":"Q3075499$D0399EE8-69B4-4DCA-A1F0-432CA052B7A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075499"}}}}}