{"entities":{"Q5747748":{"pageid":7777299,"ns":120,"title":"Item:Q5747748","lastrevid":51080384,"modified":"2026-01-16T13:41:02Z","type":"item","id":"Q5747748","labels":{"en":{"language":"en","value":"MCMT: a model checker modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785434"}},"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":"Q5747748$4DE269DA-E4AF-416F-926A-DB0F07399278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5845b99bad64a6de826239854e7620a95304181","datavalue":{"value":{"text":"MCMT: A Model Checker Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747748$DA42F04D-D30E-4633-A863-9604C42EFB6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a07c1e5e38e3c796aa2255a73efb701c0f377b09","datavalue":{"value":"1291.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747748$A1164BC3-344A-4D26-90D4-D463572CD1B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9458bdefcc5daa0f5f2e4e5683140a37161a2630","datavalue":{"value":"10.1007/978-3-642-14203-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747748$E2139B04-31F6-4D57-8322-8816A9120D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$D8E7B221-64CD-4B16-92A9-496AFC238CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$B2AFD9E7-0781-4D27-8035-C85B6CAE5219","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":"Q5747748$4F08C5CD-33A5-4374-838F-A0D4195BEB89","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":"Q5747748$3AC824D0-BD50-4116-BDDD-5997FE950BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747748$617AED22-ECE0-4372-AC3F-1675D53CD6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747748$E5139A92-95C6-4B4C-822D-A8E3D43519E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c746481211addb50826fee68501b15eaa37bac3","datavalue":{"value":"5785434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747748$62817839-E059-4B10-8829-93D391A362D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$3521049D-5C1D-4BB2-B7F0-B8B5D67AD4CE","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":"Q5747748$D834E1CE-2711-4C8C-A2F6-0ED45C91850E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d61120360db1a410e8697c9f55b3f4d4031219e5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747748$22BB3EED-BA71-4746-BF71-412D31CE45D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac084cdfc58e91e80904ab615e895935fa15530e","datavalue":{"value":"W1516900991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747748$A10613D7-2D95-4EBB-9AD4-E1B5020FA23A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$9FF97AB4-8DAE-4173-BCA7-4175F2CA081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4eab86dc21504526d3d070c41ee51a25788b51","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$066EF8CA-C121-4FCF-92E4-7160FD78BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e224af4ec8d4140c6ec54c521204774f44beee","datavalue":{"value":{"entity-type":"item","numeric-id":4270057,"id":"Q4270057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$BA2325BE-DB1D-4252-845F-7861B7367C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$7B147322-3B9C-4CAD-BA85-0C51EA2EEA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c468c5df999a5df8b9ca61276e57be905929fe","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$6ABBBD23-64B8-4B87-86DC-4A1511A60F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23f3beb347d9c2281547ed608aa001f62930392","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$C1F6C544-34C5-4ECB-8340-3EDD9CC6469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21cce9dbeb4d2708da80ded3bcaecb6fc87fc614","datavalue":{"value":{"entity-type":"item","numeric-id":5178977,"id":"Q5178977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$2F0693C3-E778-44EF-B77E-F3CC2338AE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e153e6c7e5cb98b6065c11575b4f76c7ee7df78","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747748$3AAF1177-C6C9-40EF-910B-551C80F3199E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe651991cbc4916826a09c50dbc4cb815d3f966","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d02f03a690fa9db914907ef0c4b00301152a58e","datavalue":{"value":{"amount":"+0.827904462814331","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":"Q5747748$9A07A4C8-C77E-4D3F-88C6-1E6061ECD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7441d0ac138a42ca07544f96589c657fae15c5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5178977,"id":"Q5178977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0418ae0cc736780b3e5adeadc197072efbee7c12","datavalue":{"value":{"amount":"+0.8226913213729858","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":"Q5747748$7BA4C439-F3A7-4D77-B174-1322EA987215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f3946f85e87256de2c415f3cf1a294f0bc2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e18feab524404216ae8bb8fe4257deb480e4120","datavalue":{"value":{"amount":"+0.8077532649040222","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":"Q5747748$55C04FCD-AF79-4A64-94B9-66261A6E4BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba448d58f8e7a3b93ae7395b64e25faac1afeb05","datavalue":{"value":{"entity-type":"item","numeric-id":5139282,"id":"Q5139282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1106d5a2c6173cb7f19b9057fb6ee9e31ad4de","datavalue":{"value":{"amount":"+0.7711777687072754","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":"Q5747748$3B8ADCCB-1866-4E34-99D1-21F219735029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b6224b131a89d25348a64d6dadb165aafe0082","datavalue":{"value":{"amount":"+0.7571894526481628","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":"Q5747748$116C5FD7-C76D-4708-AD61-BEF1BC837928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747748"}}}}}