{"entities":{"Q5738967":{"pageid":7768519,"ns":120,"title":"Item:Q5738967","lastrevid":41676290,"modified":"2025-05-07T02:32:59Z","type":"item","id":"Q5738967","labels":{"en":{"language":"en","value":"Boolean satisfiability with transitivity constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729776"}},"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":"Q5738967$097BD89B-6B28-49EE-8FEF-062BF2C711A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2311d14f8ce9315540766c8386e7921b5f611411","datavalue":{"value":{"text":"Boolean satisfiability with transitivity constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738967$AD93792E-CCA3-4D6F-B6CD-0A138AE1E4D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"808aa6172a0d96c9453defe6e5e3359fc557f480","datavalue":{"value":"1365.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$79328D75-297E-4D5D-BA2F-DD14F78CA400","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fdf01980262d9e2e04ffda10f7cfda94cd705c3","datavalue":{"value":"10.1145/566385.566390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$71E60F14-194E-452A-A619-11317393B8BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738967$B5FDF368-75F4-43BA-8561-815EF7EE2A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9f059d075aff37a32c9927c9976eaad1b76b13","datavalue":{"value":{"entity-type":"item","numeric-id":1426128,"id":"Q1426128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738967$206413E2-DBEB-469D-B0B0-13E8B82B505A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738967$90C1C3A5-D8AB-49CB-A46D-01A3D1F0AB77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738967$F5ED90D8-1922-4B3B-BD0D-5C79B5448EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$F851ECCA-6770-49E0-AA83-045B0B58AC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$D91B26F6-5D35-4527-859E-91D74E75424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$A91A3A49-7160-4149-A977-110C5E7A2BA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b91f5b5ef71ad7ab5b45086f297e1d91b7872f","datavalue":{"value":"6729776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$008321B8-084C-475E-9FAE-B353DB6EB88A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738967$D0058E9B-D38D-451E-A5FD-192934706FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738967$53C54721-9D09-484A-801C-D11FD10545D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738967$6C1C67AE-1601-4110-97FE-7F8EA3E1DC1C","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":"Q5738967$12B806F2-B6FD-478B-A806-0B1D5851B1EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"989f2b3019ea7c20be1d86ed140bbdd167828027","datavalue":{"value":"https://doi.org/10.1145/566385.566390","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738967$64A981AD-A796-40AF-B299-C9C24F2E9627","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30a53b1b92cb2d29d06a67c80d5621885ee5fa80","datavalue":{"value":"W2104115705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738967$9E59A7C6-2C6E-4E1F-B94C-EF7A421C0BA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1786d5ced00f5948ce5652f6e7040ad802259","datavalue":{"value":{"entity-type":"item","numeric-id":2754075,"id":"Q2754075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","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":"Q5738967$CEDAA715-8154-4373-B9A8-70608C6D8FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a85203c99cbcfe0abf575ceed71162f01a1a90","datavalue":{"value":{"entity-type":"item","numeric-id":3567616,"id":"Q3567616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e825cf64cebe1301409aa1447c923c32e773ac","datavalue":{"value":{"amount":"+0.9099926","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":"Q5738967$10F599C8-D5B5-45AD-A316-C648FFA9DD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45957c5626845ad6a1b1e3fa9d14e8cf9c0bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2634500,"id":"Q2634500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1969abfa2ad07d305c8e402adb889aebef2489ef","datavalue":{"value":{"amount":"+0.9078957","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":"Q5738967$863E5648-AF64-4703-B837-44BA82E9680E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdc0cc9678df8061b34d5fcd2ab17424d455575","datavalue":{"value":{"amount":"+0.9072566","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":"Q5738967$CDE72EC1-AA33-46DD-A318-DC9A1403A180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78566365a37fce84290891d5df3a0fbe226c394f","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292be585791840de44adadd89ed196ac8d69cb16","datavalue":{"value":{"amount":"+0.9053134","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":"Q5738967$1A0729CB-64A3-45F0-99FC-C71C3F7B3CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523669d77c7bfb0959d1982a3bf988b9af7d59c5","datavalue":{"value":{"entity-type":"item","numeric-id":2769575,"id":"Q2769575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a7bccb18395ccc10430bda0e57129015961bc6","datavalue":{"value":{"amount":"+0.8879219","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":"Q5738967$9A30EEFE-6979-4398-BACF-EDA7B3EBEACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1986b098a0ae85b4ae1df7bf83cffdde3280a9e1","datavalue":{"value":{"amount":"+0.88092947","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":"Q5738967$6E436D60-147C-4213-9D3A-20C56A2F831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464372b56070e39c1c02032408d0ff4fd918be6e","datavalue":{"value":{"entity-type":"item","numeric-id":3594567,"id":"Q3594567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197af78a5346d0e16a4a298f5a14d36330bb2cf0","datavalue":{"value":{"amount":"+0.879365","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":"Q5738967$9853928B-7CD1-4333-84D0-9500B2028D8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738967"}}}}}