{"entities":{"Q6560161":{"pageid":14171316,"ns":120,"title":"Item:Q6560161","lastrevid":55692400,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560161","labels":{"en":{"language":"en","value":"Deduction by combining semantic tableaux and integer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869517"}},"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":"Q6560161$F41EACED-CEEF-4471-ACD0-694F6FCC321E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46f26a549494b1400eebf34fe8a906961bb0174f","datavalue":{"value":{"text":"Deduction by combining semantic tableaux and integer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560161$CA4240D4-A7B0-497B-8762-C24FAE6B14F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07f4ef69e18d14c5292f09ff5618d92967204ea7","datavalue":{"value":"1540.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560161$FA134852-CEFC-451E-94CB-AA0B2AC6953B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4383bff445913ead0373a200b6d51377af694953","datavalue":{"value":"10.1007/3-540-61377-3_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560161$3614A92F-7ADE-42B3-AC2A-9B3D83236564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$4E609F5F-6221-46FE-BA52-BC95458CA376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$EAF16555-CA1D-404E-8E96-563CBB6EA3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560161$EA5A2EC4-00CA-464E-87CA-F65F9F09A2CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560161$FD957FC9-C0E7-492F-B6CD-33E70D4755C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560161$C707C860-3218-4F56-B2DA-120CB4ED8960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560161$4DCAC362-5D26-4FC0-B8BF-1A97FE7440F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812ce5c3840339bad0a3315d9915ba4f4ad9e664","datavalue":{"value":"7869517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560161$787DF4A3-0713-4D07-9277-8F5BF3731B88","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":"Q6560161$E9E08614-FEE1-4EBA-A17D-D8B2C5A2CBC3","rank":"normal"}],"P223":[{"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":"Q6560161$BEE7B664-AB0A-406F-A40C-3416731D233F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$F7A7F798-FB0E-49CF-BCBE-BA9211231A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569927fbe93407529f06d41b68d2ef6209ff2db6","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$35C8DD42-CBFF-4980-87D9-DEDB94E910D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936c40dc0c01b22080e676a5800e43c3365a1e36","datavalue":{"value":{"entity-type":"item","numeric-id":1326778,"id":"Q1326778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$E4D1C937-77DB-43AA-AF96-C239C4F334B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$E71653D9-4A0F-4741-B5C2-E2E54D4ED58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560161$271E9461-810B-4E64-9EE8-8A74F52C6359","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0464a52f9d2f7ab7c5d617d9c46a0c10af42b21","datavalue":{"value":{"entity-type":"item","numeric-id":4863689,"id":"Q4863689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030bd35391bece3c3e71ad2c2678e96ee27636aa","datavalue":{"value":{"amount":"+0.8655689358711243","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":"Q6560161$DDDF6A69-033C-4D5A-8FC1-611EC6F057EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af61d68d65e8dc4192049f5fe3383b8343adc04","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da92315d7bd7d00edadcbf81f4124db6e8c33f4","datavalue":{"value":{"amount":"+0.7651401162147522","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":"Q6560161$6EA3D253-33DE-4618-8862-6CB92647F3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ead41575f1af20adbcb9441eca7aa465c07a5dc","datavalue":{"value":{"amount":"+0.7497996687889099","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":"Q6560161$BB77AF5A-958E-4958-BE21-B33BE70AE89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68e10a717007fecc40bbc3c8c408a0f92955f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4645229,"id":"Q4645229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ed8565031f0694f752efb3e0e53c299ad80e03","datavalue":{"value":{"amount":"+0.7492789626121521","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":"Q6560161$37DD811A-C29B-49B8-B894-221A2C563D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4c31b5d47a5429520762cfff169ae421addc57","datavalue":{"value":{"entity-type":"item","numeric-id":1130078,"id":"Q1130078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e86ff828c3779f901b7e4c2ef94603980542e2","datavalue":{"value":{"amount":"+0.7428721785545349","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":"Q6560161$F681E9ED-FB76-4AB7-BE4C-FBE396DCF0A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560161"}}}}}