{"entities":{"Q5452719":{"pageid":7482278,"ns":120,"title":"Item:Q5452719","lastrevid":50327363,"modified":"2026-01-13T20:12:00Z","type":"item","id":"Q5452719","labels":{"en":{"language":"en","value":"Decision Procedures for Multisets with Cardinality Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259567"}},"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":"Q5452719$FB31C4DF-494D-4A22-86DB-453E10FBBF24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0b2db52556f8d871a712bc78a41bcf568d7bb9d","datavalue":{"value":{"text":"Decision Procedures for Multisets with Cardinality Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452719$02667950-F362-4D47-8A5E-6E9D5F29F86C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6110ee4ad511b15f49a7bb78c8f95e198b6ecf81","datavalue":{"value":"1138.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$533CA169-692F-4750-82E2-6EE37E01E44B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50db686e301b066b310344fc96cd1f5efa9bafc0","datavalue":{"value":"10.1007/978-3-540-78163-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$7D47F05A-74EC-410C-B1F6-82499C6387F8","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":"Q5452719$512C01A6-2738-4EB8-9B76-EE642150B79F","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":"Q5452719$C144776D-A8ED-4BB6-BEFB-087C1A0B62F0","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":"Q5452719$D9678F98-A9DD-42C6-9878-8D4769304128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452719$BCB14F83-680D-4375-AF35-66164A5CF68C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$C6C0525C-7AD6-4ABA-9617-EEBF1BB97718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$1B8D61F4-735E-4B43-8EB9-2EAA996C36CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$ECCFAB27-7662-49EC-9B85-2AEA968333DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec9f4702d565802f1d1b7a574a9146690b4b0e84","datavalue":{"value":"5259567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$06E79386-979C-48B3-8AED-C5FDD8E97971","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":"Q5452719$229410D1-6286-4914-8328-E02989C4DD68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e89a615d9864189d2af271d693decb3ff69127fb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452719$712112DF-B454-4899-BCF5-23FE90AF074F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0a8d244801bfd7d521e4a50e9ecef98da63261a","datavalue":{"value":"W1767788337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452719$ACB7BE5B-0510-48C6-8199-5D3FE76273A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$E874E9B7-B048-4213-A9DA-9EA1F1C23D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b315adcba73ef3932cf68cc8d0ba90be32d572","datavalue":{"value":{"entity-type":"item","numeric-id":2773366,"id":"Q2773366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$8E0EB4B6-0D49-42A0-95E2-B0F17CB2EDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22721c9f9d7acd782039555457472cd130b8d08f","datavalue":{"value":{"entity-type":"item","numeric-id":4035235,"id":"Q4035235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$76CBC252-B789-4AB5-86BA-928BAA9DDE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c1c8187359268cad650520f7a768093722908f","datavalue":{"value":{"entity-type":"item","numeric-id":2566034,"id":"Q2566034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$C2DE93B9-59FE-4533-9F08-7376EB48964D","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":"Q5452719$24533800-B064-45FB-A298-F75DDD412A87","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":"Q5452719$EA7A6B9C-E048-4A89-AB1A-CD0706DE2211","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":"Q5452719$CABD13A9-EADA-426A-831C-4010CAB4C251","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":"Q5452719$10484EED-2332-4BD1-B43F-0A459A8301C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be08e56c42c2ed44ec3f04b21e115ceb75e622d","datavalue":{"value":{"entity-type":"item","numeric-id":5901903,"id":"Q5901903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$14DA0CCD-0FEA-4B51-AD97-3147C967EE5E","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":"Q5452719$2F959D11-A0E0-409F-A851-DCEE0E4E40DD","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":"Q5452719$C8039074-84A0-4412-8792-15957FDAB2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938b9393c4143d508e9369a3f399798dcdd295f6","datavalue":{"value":{"entity-type":"item","numeric-id":5758056,"id":"Q5758056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$44633A95-D52F-46B3-8A5B-A86E26323B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$AA13D821-D8E5-4532-8F62-C1D31A680DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3692aa2d157356a2dba2cdcf8e4dfc8407c894b","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$7F092FF7-FC64-43E9-AD37-653C85105A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$4B5FF8D5-540A-4680-BC62-8060307973BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$E26F705D-529B-475A-AFA4-23B7D1E277AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7f6080bd6e9fd3172ae62c6050078673b525d5","datavalue":{"value":{"entity-type":"item","numeric-id":5680985,"id":"Q5680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452719$1FB68EA8-CEB3-4792-AB06-4B74EFD2264C","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":"Q5452719$EB87877B-4313-4721-9851-FE32A38CFCFC","rank":"normal"}],"P1643":[{"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":"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":"Q5452719$EC4781D1-1681-4A60-8187-9187A4D9DECB","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":"0c07c8461a940eac52a92cf0c610158bd624a5e5","datavalue":{"value":{"amount":"+0.7801171541213989","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":"Q5452719$E2D8944B-D573-4D7D-9113-2A36C9008C08","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":"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":"Q5452719$05699CCB-E354-4893-94F3-2117FB7052DC","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":"ae2de62c0ab9e69f1415d971586db3992c560901","datavalue":{"value":{"amount":"+0.7651879787445068","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":"Q5452719$C0B043E3-0454-44E8-839F-B5E3C50E26ED","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":"376f0ea355ce0143e9ae77e4026b25febebebbc8","datavalue":{"value":{"amount":"+0.7581830620765686","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":"Q5452719$9A1C42A3-DD5F-4977-BAD7-9A20B26407CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452719"}}}}}