{"entities":{"Q4571125":{"pageid":6600714,"ns":120,"title":"Item:Q4571125","lastrevid":53135192,"modified":"2026-01-24T07:06:21Z","type":"item","id":"Q4571125","labels":{"en":{"language":"en","value":"Satisfiability checking: theory and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899201"}},"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":"Q4571125$850E3F0A-5225-46A2-BEFA-77B723575148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5526e39e38d81ff6c1af2a91e02a468d92b836fd","datavalue":{"value":{"text":"Satisfiability Checking: Theory and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571125$1960A671-6616-48FC-9E59-F7AB05297964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36126b51f4eb02d0d66ed55d7f4d444e336829f2","datavalue":{"value":"1390.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571125$25A66B84-672E-4793-A279-075AC07D24BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3045de1c295d1dec06186f89d82a443277e4bf35","datavalue":{"value":"10.1007/978-3-319-41591-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571125$7A61DBE8-80A2-4CA2-A498-27E5233E15B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$BC97848C-7CD3-4557-9C4E-A62D84CE357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d65ce0e3bca3659eb391ae066b8d6d43db4ca8d","datavalue":{"value":{"entity-type":"item","numeric-id":1996868,"id":"Q1996868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$7A8A6959-D6BA-4745-9E7B-B56F6716A6BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$4F18B8E0-1281-4651-A623-B07056B77C17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae26ae56b498965815874334fe53b327884c287b","datavalue":{"value":{"time":"+2018-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571125$27875275-ADCA-4022-80C6-D9D3487209A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571125$92764628-20A8-446D-835B-4679D1B64DEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc3768b69534d0cf89ca46127c69d74a893d5c2a","datavalue":{"value":"6899201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571125$C929E57F-5D7D-4BCC-86BD-CAECCB1C1CAB","rank":"normal"}],"P1463":[{"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":"Q4571125$8B1952B2-06FD-4FA0-8B1D-565FA7FF8F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f27acff849365f4ab8e32d28fed6e6b1e1bc2ce","datavalue":{"value":{"entity-type":"item","numeric-id":20537,"id":"Q20537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$78AE768D-BB51-4BF4-B120-918BC8D27548","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":"Q4571125$6D170D8C-AE02-48EC-A910-3C1C37EADB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$FF1E80EA-0740-43C6-BDA7-FA05AEB96C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$21BDFCEC-3BED-42C1-B512-7EF72E09CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9cf120b541afe62efa488ec8aaffc1271a1ea3f5","datavalue":{"value":{"entity-type":"item","numeric-id":36803,"id":"Q36803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$C38626B7-3D99-404E-800E-7662FDEB3C44","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":"Q4571125$A1E50E7D-3081-4CA5-88FC-568CE70B1321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66b26794056a116e8a013893d19af9056d2e12bf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41591-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571125$39A83304-01AB-4A81-8055-7F87786571EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85a6b7860e681e25c04a6168f5658b47d24f4d23","datavalue":{"value":"W2505717744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571125$59BC0623-9B5A-4266-ACC9-7321E24CDE75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2387c710e9089eacc5cd3b7ffe9a7ba46898b9","datavalue":{"value":{"entity-type":"item","numeric-id":2819729,"id":"Q2819729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$17A8A024-5334-4BD2-8420-43B276B1967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6489b52ecd25263aa4632f6618129a5a9eea42","datavalue":{"value":{"entity-type":"item","numeric-id":2988973,"id":"Q2988973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$36EC0F1B-9AD4-4E99-8120-0223F724E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2167c65cce7cae937a43193ffcc320dfd4570b57","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$24804F41-780E-4DF5-B615-4A946FB7EA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$72F442C0-8DF8-46D7-8EC9-95C37897ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$2A2F4550-B9CA-49D9-B706-D75A0E790C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$A1861964-4617-48A8-A5D7-02FE800506FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$1606CFC8-2BDD-4CE9-AC49-265649B66D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028b173fd504347e5ec217a7eca5bf3210ea8348","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$82B11BC0-0BC1-43D7-97D7-B3F5EAF6D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$C445EDAF-4FC1-4E71-9410-0F2B0258F001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$7BB33106-6848-45F4-8AB9-EF44320F8599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$EDBA775B-17E2-480A-95F6-15F707541BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$B9BC2F81-D347-4EEE-AECD-B38065DB8C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$FF3FFD41-C7F0-4418-9F6E-6166C480C3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$A0C28C6C-E650-4425-825F-B7A2D77C7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$3DFF8A8E-B29F-480F-AE0B-A559567E48D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8351a3b28b69d24d131a1d97580f000dfcc0a4f8","datavalue":{"value":{"entity-type":"item","numeric-id":2817923,"id":"Q2817923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$B0822161-395B-4CFA-A584-66BD292A0D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$238AC29D-8568-4BE4-9C0C-4935F7200FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66abb9095dbc3a897723093a77a1e1d68df2b1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$7ED47817-2DAF-4BC3-8E9D-6D4B04E7AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$0AC57ED1-A1AC-471C-B076-F3684173874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1175947ec2aea995ccb1f9384b13403be217dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4913859,"id":"Q4913859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$95AF0507-3A51-4364-A357-F466C764FB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$A404D43C-45FB-47DF-BFAF-B936AE8D3FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3e0f406ca5c053e943d93211f84d7fa0405f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4576198,"id":"Q4576198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$19EA365F-8D6E-4A5A-BFCB-F5EC179DFB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bda1299c2c035b74ffa695f3cdd7ba8cb218b33","datavalue":{"value":{"entity-type":"item","numeric-id":3454117,"id":"Q3454117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$0E3082E4-A0A8-4301-AEF2-766F70ED721B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82cc075c4cfdbea67c09acd82fce702a69b4697b","datavalue":{"value":{"entity-type":"item","numeric-id":4391232,"id":"Q4391232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$6598085F-A3CB-4EF6-A565-3EEE874ABE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$2E7E1180-0BEA-4E29-90F6-5B330B2834C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315fdba4d6814f7d1aad814689d11cc07946b461","datavalue":{"value":{"entity-type":"item","numeric-id":5170837,"id":"Q5170837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571125$AA8859E3-336F-461A-910C-5D66FBF59C5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1f7151ec282e9141870815ceaa3d0d85e6d23f","datavalue":{"value":{"amount":"+0.88369220495224","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":"Q4571125$6C1A5BA9-16FA-4ACF-B222-2B8986FF45D4","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":"46f7b7d70f1bee319e3b6281533fe2792198c769","datavalue":{"value":{"amount":"+0.877081573009491","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":"Q4571125$B41615E9-EEF3-4303-B795-C0E873765C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666ef225840a9394fc59f637167586f3a454d37a","datavalue":{"value":{"amount":"+0.8641327619552612","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":"Q4571125$E4F7F196-09C1-414C-80B4-609035881C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10ee01b04bf937ea18106e6d39f383b6936577b","datavalue":{"value":{"entity-type":"item","numeric-id":4931590,"id":"Q4931590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d878191d1dda3702bfff9004fc039021915d86","datavalue":{"value":{"amount":"+0.8558438420295715","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":"Q4571125$F1CA45C5-C489-4AF1-9CEB-3A59738DC765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1a7a179fab9fcf98a85434cc383e9dec3ff713","datavalue":{"value":{"amount":"+0.8420457243919373","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":"Q4571125$91E5F521-BFA1-452B-9641-EFA599E29322","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571125"}}}}}