{"entities":{"Q4621226":{"pageid":6650809,"ns":120,"title":"Item:Q4621226","lastrevid":41753021,"modified":"2025-05-07T23:20:51Z","type":"item","id":"Q4621226","labels":{"en":{"language":"en","value":"SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020216"}},"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":"Q4621226$F6320C79-294D-479F-98F7-231E154BD081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7f4ec220f1fdbcf91f1ae3a667b2c82cbf4bf25","datavalue":{"value":{"text":"SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621226$F9231280-CC6A-48EA-8C04-7EC07A2CC38D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1dbf152c719d31ed22a8fc19df1631b1841885","datavalue":{"value":"1424.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$34511784-987D-4B5F-8A29-1D8B60182653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d60cca3a9c3ae5815ab4971ada17d20219202eff","datavalue":{"value":"10.7561/SACS.2018.2.269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$093C2F1E-0F3E-410C-A3E7-8D6C579B2181","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f8702780907862d22fb68b03ee907a25b3573f","datavalue":{"value":{"entity-type":"item","numeric-id":2309217,"id":"Q2309217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$F42BAFB2-2F57-4DC7-BF98-618995BD9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45eebfcebe6d530052e3ce7c6ac4933912892740","datavalue":{"value":{"entity-type":"item","numeric-id":600837,"id":"Q600837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$48669AE0-ABB1-440A-B5B9-430D2E42AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7cf020bdb2112a2b4297eda24fb1e8a7f519eb7","datavalue":{"value":{"entity-type":"item","numeric-id":4621225,"id":"Q4621225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$B67DEF3E-EBDA-459D-98D6-7845F6BB8911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$B12B77FE-B46C-4D90-8B35-69D13FD56CA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$1E6645E4-8B8B-47A0-A1D8-96C979E33FF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621226$079532EE-8FED-4E43-87B9-FC6471B08DF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$476085FD-138B-4230-B942-7403DC4A95A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$348E2082-1FEA-4A73-80C5-BB06F24A7035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e077477a671d1e164df91ed9a7a6d93f8faa67c5","datavalue":{"value":"7020216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$2BEE5071-329C-462F-818E-D2E9699D0797","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$BE188867-BE09-49A7-AF09-4B2B76E86948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$1E1DD3E0-8595-471A-BD55-E932E258DEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3093c5c0b95039a1b6f2fa07d179c194aec1131","datavalue":{"value":"SMT-solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$1C675FFC-D80E-45E5-82CF-3D8A7665E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75257594b6b7299f5697f490c2185950f74f528","datavalue":{"value":"SMT-Lib","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$B0B588B8-0291-4805-A73A-ABDA852EBCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$D31E49D9-0924-4F6C-8765-DA341CDF17B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$B22B291F-FCC8-41B9-B52B-1B3A62750281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465bb6752676aa083495b7195b84ebac15174f1a","datavalue":{"value":"string correction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$958F686F-8766-4A56-9271-98AE7E799353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa82bc35d9d2c71240d144855143e851c2fa7b5","datavalue":{"value":"Towers of Hanoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621226$950B643D-8BE8-46F2-99D3-671451A156BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$C6FA4537-314A-40B5-8419-50AEBF263D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$0BCB215E-B469-4CE5-BE4F-491FBF3AE6DC","rank":"normal"},{"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":"Q4621226$144D9F33-F8B2-43B5-BC73-AEE12B816B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$1E37635D-ED74-4E51-9FFB-59C49C73F239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621226$859D4C79-F13A-4B9A-9AFF-5BA792AB677B","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":"Q4621226$91F40B66-0D92-4DFE-B8EC-4DCFF87F15D4","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":"Q4621226$66CF62AA-A2AD-4CA1-A3A7-18128350B04D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a80edd6fb1b5794703fe2ee285a8be2944c02b8","datavalue":{"value":"https://doi.org/10.7561/sacs.2018.2.269","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621226$467DA4F9-4E32-4507-ABB0-2E401276076D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d7e15b5945678811aec992ee8db97625ecf2faa","datavalue":{"value":"W2893472332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$50727C73-F510-4585-97FA-EC60EDDA4A70","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b183f65ae22157197c36669dda1743ed3fdba882","datavalue":{"value":"Q129187869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621226$60BB6201-4FF5-4314-97A6-EFB9549C5539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb8480b79c21fbc9843ec0a6188f443652e2bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3460542,"id":"Q3460542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6b1a7fb4b195555ec7c40d76c331e1ad3769f4","datavalue":{"value":{"amount":"+0.85318696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$7CA2F915-2542-4A63-8D72-CF2A1046D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b235c969d9877296523b36975328d8b7df7840","datavalue":{"value":{"entity-type":"item","numeric-id":1749390,"id":"Q1749390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db033204e9b4b41afcff18aa1ff3f1006205816","datavalue":{"value":{"amount":"+0.85137427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$2806D3FC-CBFC-4FFA-9C52-583FAC5904EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e42c0696ebfd3fb16c17afdd0eec4ae5147edf7","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1490bffa03d852dfeac843a28371fc579c018ea9","datavalue":{"value":{"amount":"+0.85114014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$4290BDA5-8854-4C91-8B01-C235C4F19061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e434c6f686246887cde238823958ad79571304c4","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1490bffa03d852dfeac843a28371fc579c018ea9","datavalue":{"value":{"amount":"+0.85114014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$E244901A-C770-40FB-80B3-B88CAEEAF5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4396432ef5ab133000893590ebe84a1984c3c53","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bd1cc6eaa78744a0dc2e035a67d5acba76bbeb","datavalue":{"value":{"amount":"+0.8492519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$3A959572-9BA7-4487-B428-B4BD157C78F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7971bb0d53dd6682991734c0c56234b675e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d12c2ab29879f3380c1ef45b621c43b3a951225","datavalue":{"value":{"amount":"+0.84838104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$07DB32A9-C13F-490D-BB9D-DFFE6DB1EFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d68bcb8084a36ed362b6555c581cc66937378b","datavalue":{"value":{"entity-type":"item","numeric-id":4972164,"id":"Q4972164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2198413229def271fce9050b570907ee1668964a","datavalue":{"value":{"amount":"+0.84690744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621226$5EFDA7D8-035B-4271-B153-EE1F02AB34FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621226"}}}}}