{"entities":{"Q5918209":{"pageid":8048715,"ns":120,"title":"Item:Q5918209","lastrevid":55919992,"modified":"2026-02-21T03:57:47Z","type":"item","id":"Q5918209","labels":{"en":{"language":"en","value":"CoReS: a tool for computing core graphs via SAT/SMT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7138317"}},"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":"Q5918209$3CD6B900-5BCA-4234-86C6-69EC06B8283B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a9c277d9cd1b6d80eadbf4b843eb4fb4d16ed5d","datavalue":{"value":{"text":"CoReS: a tool for computing core graphs via SAT/SMT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918209$423F01CA-F2B0-485B-973E-F4DD51EA20FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a346e701b71e79f79772e8312f0c59573242fd9e","datavalue":{"value":"1435.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$B9202079-CA26-4CDB-A4E6-8447327D1D61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$AFB7EA5B-64CD-46F9-9271-4BF221315095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc32f30de1e9cf08905620eb1fe308b62848de2","datavalue":{"value":{"entity-type":"item","numeric-id":1663975,"id":"Q1663975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$517B83AA-4263-4725-B206-116CA6E2986E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2275cdccb795176ada294001ed5c351712e71e56","datavalue":{"value":{"entity-type":"item","numeric-id":1663976,"id":"Q1663976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$5EBD05BC-C5F8-4967-951E-B3B6430D9999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$202CBC04-DCD2-45AF-8C00-F93EDEF3BF6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9576e810ad6ca54cca1bf476098d387f5133004a","datavalue":{"value":{"time":"+2019-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918209$257FFD70-7DE7-4267-9AE3-0B9A4E2FADCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$208453A9-3394-408D-BCC3-52BAD0C52EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$1AC62547-2105-483B-8738-20771FCBA7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$10A4E80C-1E15-4CA3-8804-1E89C55C2469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$9B7447C8-D43E-43F3-9EFB-D80291656120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9e601669f700db7b12ecd544e007c10502c17dd","datavalue":{"value":"7138317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$850C126F-29F9-4409-B047-BAE6ACC69547","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$093AC2BB-FC00-4F32-8FE9-94F778C711F5","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":"Q5918209$958E8165-0946-46EC-A10B-BF6234604741","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":"Q5918209$45A4650F-ED0E-4389-9BA2-3BD0F2A99C56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e86b095f83a9f4a04f725c84c63b00d882111190","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.100484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918209$FFB5237D-337C-406C-9C88-302D4395295C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01d777ae81349a4cbaf0e1ccff5f559126c34ccd","datavalue":{"value":"W4251426583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$6A4CE61A-035D-4349-B1C1-6EFB6DE5A6FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c3ccfc34bd5f8fa749df1c37834e76a69edc4c","datavalue":{"value":{"entity-type":"item","numeric-id":5079736,"id":"Q5079736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$51FA25F5-4AC2-4900-ABBA-4EF89A1D5B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572d01df1bade3df9424cc96035cb0e941f84c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4890710,"id":"Q4890710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$58F9DA9D-9218-4C57-BC7D-D992CE69AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72798c02459df8abdcf195630fcdad7dc6cf046d","datavalue":{"value":{"entity-type":"item","numeric-id":882448,"id":"Q882448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$0A54F046-518D-489F-85A4-5D6B5D73FA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef15b3970454943801ea6f54009a29a9b0eb4583","datavalue":{"value":{"entity-type":"item","numeric-id":4194478,"id":"Q4194478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$5A14C667-0C6D-492A-A86C-589D0032C12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$0E35FE65-B808-4C85-A122-B0FB334D997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4bf606a449c9953c484dbb8476ee3760f5a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3267900,"id":"Q3267900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$84909A69-3064-45EA-AD94-DEE7CD5BCE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec4be332633370dba051dd5911d53cf54c82e2f","datavalue":{"value":{"entity-type":"item","numeric-id":3549128,"id":"Q3549128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$3E0E0C17-5646-43C1-8ECC-C7DC3E4FC9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$34EDB28A-F17C-4FDB-83A1-AD1A92B20940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984b0790103c755d1e373d861a44bec66558001d","datavalue":{"value":{"entity-type":"item","numeric-id":5555420,"id":"Q5555420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$9E03313A-1AA9-4DBE-B33E-3FF5CA21F5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e67d001e0155770b04f208c6990101ba01f2cea","datavalue":{"value":{"entity-type":"item","numeric-id":686290,"id":"Q686290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$CC639B18-2114-4875-8C3F-3B29A509E6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ea4363455d9f7adc8284fbb1e05e2adce38954","datavalue":{"value":{"entity-type":"item","numeric-id":5915710,"id":"Q5915710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$1D4C3938-7666-45E5-BC73-BE13851CAE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9482a37746aefb8fd3c382ac6ac105290da18582","datavalue":{"value":{"entity-type":"item","numeric-id":4931302,"id":"Q4931302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$5E441D6D-3FE6-47B3-8E93-1477182D1E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15f0d5d06eb8f30a0d71ed29f48211a4f9dca39","datavalue":{"value":{"entity-type":"item","numeric-id":1850486,"id":"Q1850486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$3E0D8F2D-56B2-451C-8ECB-CA344367F541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349d7ef85d935a77ed55af1929cb6c2c4498301d","datavalue":{"value":{"entity-type":"item","numeric-id":3101363,"id":"Q3101363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918209$5982BC6B-4F09-4EF5-86E3-31769D30579E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"482a69409109d919cebeb0fb013e5f6a7552f3f4","datavalue":{"value":"10.1016/J.JLAMP.2019.100484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918209$B8097D27-D086-48C1-AD04-BB9E989BE63F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d59837274a63d378ca5fc7f918330a3610c4944","datavalue":{"value":{"entity-type":"item","numeric-id":5915710,"id":"Q5915710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2047b580af9800d1505328bbfb7fdaf831f34d","datavalue":{"value":{"amount":"+0.980559468269348","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":"Q5918209$A27BD511-79CC-47AD-AAA7-3C8AF9715D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f2f1bc8aa3afbb16568e931cc28ee9326b5225","datavalue":{"value":{"entity-type":"item","numeric-id":3612475,"id":"Q3612475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedb94d8cc4f71b8d132512963ddd56e0a2ea06c","datavalue":{"value":{"amount":"+0.734883725643158","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":"Q5918209$5A018C87-CFE2-4262-832A-C1FE3F370915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846315f28c3b875715d06d8599efa0c46d428ec4","datavalue":{"value":{"entity-type":"item","numeric-id":686290,"id":"Q686290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e3f6806039b70f4a015fad066cfb89052c76ec","datavalue":{"value":{"amount":"+0.7254300117492676","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":"Q5918209$958037FF-AF20-4BF6-BFD7-4F256297BA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b3b80b01037d42d13e595666a2e73615a0935e","datavalue":{"value":{"entity-type":"item","numeric-id":3546361,"id":"Q3546361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c0feb74feb5ca8c599b1d1c72d7a439ad01f97","datavalue":{"value":{"amount":"+0.7194699645042419","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":"Q5918209$84173925-86C3-4534-B24F-1C6DAE40B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944677192979990d1e36614027371852ce6358f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153c77e9085ac9fa5cb25aa502ccdc057d1877ff","datavalue":{"value":{"amount":"+0.7137006521224976","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":"Q5918209$46A50F1A-5296-45B2-8E0D-954EF3156ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918209"}}}}}