{"entities":{"Q1356213":{"pageid":1366952,"ns":120,"title":"Item:Q1356213","lastrevid":46557426,"modified":"2025-12-25T00:53:38Z","type":"item","id":"Q1356213","labels":{"en":{"language":"en","value":"Branch-and-cut solution of inference problems in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1017064"}},"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":"Q1356213$93766E9A-D409-49BE-B106-3BEF9C999501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b14d2474ba3f71a499cf0eaa881fa37d04b048f0","datavalue":{"value":{"text":"Branch-and-cut solution of inference problems in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356213$BBFB1A3C-9827-44AA-AC7D-B59446CDDB11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a1848393152dc842badd761b18049248cd9d303","datavalue":{"value":"0878.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$72A7B296-2F07-4958-8AAC-050B4683C42A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac202f559f2a6706ea9c2445fe022adac534c5eb","datavalue":{"value":"10.1007/BF01531074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$32A9CD34-5186-468B-BB21-354701E18F5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$81B21E50-CDDE-4583-A23A-7B9BBEF3841C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e2dfb5d8700e631835334f9dc71e9b98ed5a53b","datavalue":{"value":{"time":"+1997-12-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":"Q1356213$704AF447-985F-45B2-89A3-EB26448CF562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$DED7FD00-232C-4ED0-AAB9-B81A7DFBFEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$B5AB495B-CDD0-47C8-858F-76BAD1AFBB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$F90C6375-7D5E-4DA6-B522-8916B4A6C3B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a62d03e48d9c5e468ac85d31eb86840d085da0a","datavalue":{"value":"1017064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$E2BC2D84-0CE7-4696-9BA3-0EF413045467","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f14e9508eb6f40ff4dd33f7cf1cd0d3856050f4","datavalue":{"value":"inference problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356213$B12FE42E-0206-49FF-97C5-802DCBEBE31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356213$764AAD80-C255-450E-A1AC-05FCB33FD46A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfdfc80d52599880a400e6bfabf4e5fe3dd545a4","datavalue":{"value":{"entity-type":"item","numeric-id":662263,"id":"Q662263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$060531C5-3A6A-4E2C-B688-6A5B25B1CADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"164ffd123450145cd4241214b4dde65ff87264db","datavalue":{"value":{"entity-type":"item","numeric-id":1877895,"id":"Q1877895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$D071E01E-4F13-4489-B537-946990ECCE16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$893150E8-B868-44F4-B7E1-C671B0727C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb1efcfd5da588b6455e3a48b7999a6f413e9792","datavalue":{"value":{"entity-type":"item","numeric-id":51974,"id":"Q51974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$58647D8A-4A4E-4C6D-883B-2BABF05177A5","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":"Q1356213$E44F35B5-9AA7-449E-AFA5-3E1C73D46005","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$65EEF167-3FAF-42FA-BC84-7026B3443DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$3CD6C411-F3E1-4F42-B46B-70B04ABE6828","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":"Q1356213$CBD22B97-FC97-4906-8A84-380EFE210053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$C17EF5BB-5E3A-42AA-B1AC-F9046DD4B129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$0154607D-AFD1-4D2B-8EFD-03E5EF7419DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$4B446CFA-5CBC-485E-BF15-9D53957ADAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$81531507-73C8-4377-95AC-7302DD3F6DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05de296e121fb7c75e48d1e2ce77bc16cf43eee0","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$0EBBD3FB-E7AD-4649-80E0-1D06B13B133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$E4705BB3-11E9-4E4B-A6C9-9DE1C3FCE456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$3C9C111F-528D-4687-976F-8AB4CFF459F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$ECAB001D-53F1-4959-A9E5-3FC31737515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48106796b5aeba9405f93282266cdda293337657","datavalue":{"value":{"entity-type":"item","numeric-id":1095678,"id":"Q1095678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$548097B8-FC7A-495A-88BF-1EC68FD1C826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa767d3ba71d1d4b05124416483a82bb9b245577","datavalue":{"value":{"entity-type":"item","numeric-id":5184665,"id":"Q5184665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356213$1A89BAB9-B8A7-4300-A952-3379A5A8BF05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d40a0af8b4764a39c1d18de46235fec68ebc97ba","datavalue":{"value":"https://doi.org/10.1007/bf01531074","type":"string"},"datatype":"url"},"type":"statement","id":"Q1356213$6054C4B8-C446-499F-8637-A57BEAC77252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88c4ee118d3a30355d98a421cb1d5bbdeb7f26df","datavalue":{"value":"W1976816453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356213$979C20E5-8CFD-4CDF-BF8C-4DA6B42E607F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6b3d0dccdee314c1374a8f7e3639482d2d2301","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9e1ac30a04d35b896e0e21ee2428cfd4fcd2d2","datavalue":{"value":{"amount":"+0.85395747423172","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":"Q1356213$EC3DB2EB-1FB1-471E-9171-F15E45700663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211fa2cb28593cfa74be1c7b3f05bc0d5910b04f","datavalue":{"value":{"entity-type":"item","numeric-id":1354004,"id":"Q1354004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b764af30c07daafd19bccb695c66a33eb6d3577","datavalue":{"value":{"amount":"+0.7915058732032776","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":"Q1356213$E0DA6BD2-8FA3-4010-9026-6AA0C1615C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a03fd616a4cb73bdb314a209b078fb385e1db6","datavalue":{"value":{"amount":"+0.7900353670120239","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":"Q1356213$E414C54B-EAD2-49D6-A00B-020DB7D4E704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6368e04aa8004fd0d2af50046ca64c09e2f9384a","datavalue":{"value":{"entity-type":"item","numeric-id":1313760,"id":"Q1313760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35c20dfd1ab50e25d06db0d4251de6c2919cf8c","datavalue":{"value":{"amount":"+0.7811946868896484","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":"Q1356213$E6963912-3433-4B82-944B-DB5F9237FB3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1356213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1356213"}}}}}