{"entities":{"Q3540175":{"pageid":5570079,"ns":120,"title":"Item:Q3540175","lastrevid":88351529,"modified":"2026-06-04T14:18:03Z","type":"item","id":"Q3540175","labels":{"en":{"language":"en","value":"Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369492"}},"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":"Q3540175$E5EF67D5-1A7D-477E-A2F9-20D6F4D1900E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cea27abf290aaf11f1754a59d8341446195cb18c","datavalue":{"value":{"text":"Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540175$B01AC992-778C-45DE-87A7-F090856BA730","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7a4b51cdcece3d43c36ef026d63fb214779e81e","datavalue":{"value":"1156.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$A8B60873-D3F8-49F3-8F1B-3E255533FE89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d385c58f12be2bd97255b50b4702a3636215fef","datavalue":{"value":"10.1007/978-3-540-87531-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$CBB91349-A4DD-47A2-B76D-60A6E191C412","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":"Q3540175$FF7DA349-8734-4E77-86E6-8DD047BE52D4","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":"Q3540175$359F65C4-FF93-4A2E-9FF0-4245B382BE55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540175$DEDED715-1A16-4F7B-A2E0-54FEDA302A9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540175$A10EBD0D-43A4-4722-9316-A9AF63B70E5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$244BCA1E-EA0C-4778-86D3-630EBD5259A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$E709E9F4-C693-4116-A0D3-AFA0D7224E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$66B78512-4F76-4AC5-852B-A65FB3F71F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9819c002f2287fe6ae8ab77b1b6f20b4377e2486","datavalue":{"value":"5369492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$7E884B56-B215-439F-B611-8CAC48CC11F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda597a0241a9d05a05e6685c54ebda2eeaba68a","datavalue":{"value":"verification and program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540175$B8136795-5604-4B01-ACC1-D943AFEDCB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540175$85DC8F0D-69C9-4302-BFB0-3FA22074E7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540175$327FD77F-165E-4918-B681-A18B50ACA67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad639d4e122bb72288f0923bbca218398d57c85","datavalue":{"value":"fuzzy sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540175$65D01831-4E58-4470-82FE-FC425E630213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07c615b0497179f0aac317674265eb7c4f07e3e1","datavalue":{"value":"cardinality operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540175$15DBDDE4-2CF9-461B-A76A-989ACD5BB184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc43762058f2b3ac43befe9cf6d4fe9ab53c5f80","datavalue":{"value":"mixed linear integer-rational arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540175$F76A330A-6704-4FA5-B65F-A54B98F83AFF","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":"Q3540175$B88EDB7E-6D92-42F0-B913-3D90609886B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f77b117cbe0a66b8c6c543cb9e44bf2e92e2bfea","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540175$659D72AE-744B-4E5E-B43C-EAE52A1E0496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82561f0bba7f2c04138cb7e19172eb63f31833cb","datavalue":{"value":"W1569142104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540175$AFEA2760-F01F-4652-B4BD-FA6A84ECB43B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e94d2ce9884b68e7b8a930509439ba468b5bee","datavalue":{"value":{"entity-type":"item","numeric-id":4417953,"id":"Q4417953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540175$51BA5137-2E5B-4D81-B7FB-176E8CC44B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540175$90D20DB9-16DD-4703-A84E-67DE26ED11A5","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":"Q3540175$6AB4B6D8-D48D-4112-BFEE-D65AAC7B6F33","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":"Q3540175$A67D4313-9B10-49D7-B622-AAB0B9658E39","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":"Q3540175$2B85EAE7-BD4F-4999-92B4-01FB484AAF09","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":"Q3540175$EEF36F5E-939B-43B5-96D7-7E918481F8A9","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":"Q3540175$7EBD8AEB-B37A-48D3-AACC-6C18CD03CFD9","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":"Q3540175$010692C2-D62A-45BF-A791-72962C687DB6","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":"Q3540175$EFD33471-7EC0-45FE-8C4D-3AE3C9A8A4CE","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":"Q3540175$E1A3A135-6B4D-4D3A-AE4F-71C284FC1345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540175$AFC31C40-60FF-4DB4-8D8A-60574AD5AFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540175$44E68F30-3DAD-4F12-A426-2C8C710090FC","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":"Q3540175$570C424B-1FC5-407F-8CD4-100B877B7052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3153cb0609f10c099ad4e794b5bd2883070ca63","datavalue":{"value":{"entity-type":"item","numeric-id":3512499,"id":"Q3512499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51b3826ebfd491f944de46da65be9eaa24aafd0","datavalue":{"value":{"amount":"+0.8218553066253662","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":"Q3540175$A7E491F7-A84B-40E7-8E68-9BA41543DD4F","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":"6fdafc93b908abeefade2739c8f0a4ea8cb28eb4","datavalue":{"value":{"amount":"+0.8007189631462097","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":"Q3540175$EF54C249-907A-4E89-844C-0B8626553F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b66407d793b7ef28114c0245f055b41248aa69","datavalue":{"value":{"entity-type":"item","numeric-id":3656897,"id":"Q3656897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f89bb1c5f1977337848b3131c13b5a890d2f35d","datavalue":{"value":{"amount":"+0.7979708313941956","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":"Q3540175$27B7BD1A-DB1D-4D17-9515-4EE053C42529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa092d06ef10fc5ee2d01cdd43d7abe369e56dc","datavalue":{"value":{"entity-type":"item","numeric-id":1688541,"id":"Q1688541"},"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":"Q3540175$EA578D01-AC44-40BF-B063-A2D1C6C6E862","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":"76f6fd39453c201e35c5efd0c04d0964de5418f1","datavalue":{"value":{"amount":"+0.7575366497039795","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":"Q3540175$02CE7578-84F0-44AC-8851-3F802AAEB84F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars","badges":[]}}}}}