{"entities":{"Q5747757":{"pageid":7777308,"ns":120,"title":"Item:Q5747757","lastrevid":97044746,"modified":"2026-06-05T13:06:55Z","type":"item","id":"Q5747757","labels":{"en":{"language":"en","value":"MUNCH -- automated reasoner for sets and multisets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785444"}},"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":"Q5747757$0E1DF26C-1C57-4A31-B6C9-6D04C2F6D5CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae4552ebab0d0f5b71b891e7096e88d8c5339f2e","datavalue":{"value":{"text":"MUNCH - Automated Reasoner for Sets and Multisets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747757$DCA2D980-D598-4BF5-874F-17798EACF335","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5cc88e20b247387b3775bad94ab6634f153c298","datavalue":{"value":"1291.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747757$D102FFEB-CCB3-43AD-9697-6778793902C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba1ff047d18adf73886988a3add71ab7ed853de2","datavalue":{"value":"10.1007/978-3-642-14203-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747757$4C5BD910-38F5-455C-8B05-27663CFE62FA","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":"Q5747757$DBFFB202-1AAD-4D50-9C4A-01DC55D90E22","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":"Q5747757$EE4912FA-858F-48CB-B09E-76374876573B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747757$02A4E8D5-F6AB-45DA-AB27-BE3A2265656B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747757$74DB73C1-7AEE-4287-A4CF-A5EA0A5DCBA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b412589e0452adfa618b29145c6ea1321e1c7202","datavalue":{"value":"https://infoscience.epfl.ch/record/161291/files/PiskacKuncak10MUNCHAutomatedReasonerforSets.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747757$4781075F-0009-4D49-BDED-67073D9D6EC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747757$F8803E2E-97D9-4652-99FE-7369A32D7BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fbb95943fdec13146357ccfb8096e352a7903d2","datavalue":{"value":"5785444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747757$D84041DE-0A00-4EFE-983F-3E14A305DF16","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":"Q5747757$28251B69-765C-4483-A2AE-D572F41C9E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747757$7749E5A5-676C-4A94-AA41-1548877F2E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747757$006FC8CA-45F6-4BA3-8D6F-2DB2F48E4044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747757$580741B9-41B3-4909-83E2-7A53F96B30A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747757$1C601E2B-43B8-480B-8B0C-D7116CD8F630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747757$0F497152-AF82-4A03-B5B5-74F22882E81F","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":"Q5747757$1A88548F-273D-4BC7-A834-A1B927E7BFAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4975e186d60f3106ee5bfd873c334c425d732e2c","datavalue":{"value":"W1537446635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747757$CE58733E-6B8A-495A-AC19-772DC4CC4EF8","rank":"normal"}],"P223":[{"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":"Q5747757$785204ED-0150-433D-A7E8-573AB8D8051A","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":"Q5747757$F8B9BA3E-5909-45B1-90D0-FFEE600FBAD1","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":"Q5747757$EE4CF2CD-54C8-40BD-8543-A03D7922FBCD","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":"Q5747757$D42CBF63-CB70-4B52-A6FD-403D4DEE8DB9","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":"Q5747757$090DB470-3D4E-427C-870A-A930FE255147","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":"Q5747757$AB61B527-6A70-4C20-BFD4-83D5D2F2E2FA","rank":"normal"}],"P1643":[{"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":"eb4a24fbb867ec0b5e0159cce691b24bd1f20aa6","datavalue":{"value":{"amount":"+0.7407658696174622","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":"Q5747757$2C7B3C35-E669-453C-9088-2AD2B1F4BF77","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":"5232521f35b3469405e3162be2d243aaa0132d86","datavalue":{"value":{"amount":"+0.737879753112793","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":"Q5747757$16A6DE24-6692-4C95-BD82-00D6343F8369","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":"38a15bee038d687fc9eb22a8d433da89f9d2881e","datavalue":{"value":{"amount":"+0.719423234462738","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":"Q5747757$98DDF2D6-F326-415E-99CC-2500C5376547","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":"c69ed01dc6db1466e8b4a4e66167ce8a051d4d2d","datavalue":{"value":{"amount":"+0.717864990234375","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":"Q5747757$8BB14A06-3038-47A6-807F-B9C0F7A3B89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b1f6ce1641c27a5f784493b9874a87d7eade9a","datavalue":{"value":{"entity-type":"item","numeric-id":5087785,"id":"Q5087785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e11a2b75610e4583b1806e1c95391a7c69aa4d","datavalue":{"value":{"amount":"+0.680031955242157","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":"Q5747757$FC7D80C4-E28D-4E6E-8942-BD1EC6611E9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MUNCH -- automated reasoner for sets and multisets","badges":[]}}}}}