{"entities":{"Q3433805":{"pageid":3444508,"ns":120,"title":"Item:Q3433805","lastrevid":50084209,"modified":"2026-01-12T21:58:41Z","type":"item","id":"Q3433805","labels":{"en":{"language":"en","value":"Satisfiability problems in discrete geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148302"}},"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":"Q3433805$59496F6A-E75C-4952-BB3A-C99D30B7DD63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acb0d8d71b4f0bb50b04c0210ba3ac8be3b6537f","datavalue":{"value":"1128.52013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433805$FEE12256-A5BF-4472-8B80-67A9D5BF9AEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54cf2d381d3928a1afc9230d9acf1054336acc63","datavalue":{"value":{"entity-type":"item","numeric-id":723968,"id":"Q723968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3433805$14424C1E-F0EC-4C9D-9CB6-6E173EB4AEF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3433805$68A581F7-ED5C-45BC-B20A-ACF3F5DA1A7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b10ffd28cd5081f5618864ddd574d7cd207e02bf","datavalue":{"value":"52C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433805$7989F0E0-5B7C-41EF-B705-0F24DC1B5F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"497ae3da3660fe00e937478dfa0ece897c438215","datavalue":{"value":"51E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433805$B586517B-3E34-4C52-8593-EA82B1C7492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd73672ce3d9f471e9d23297d964a3c571416abc","datavalue":{"value":"52B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433805$FA7860CC-7313-4B42-ACE5-A77FAEB1EE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af5af707ed729d722feccff88208277cb39cbff7","datavalue":{"value":"52C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433805$A200C72A-37EE-4593-BCFC-00E71B1FE5FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6113a1984452dc9bff5ef23d5ffcac9a606c0ff7","datavalue":{"value":"5148302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433805$A0585918-5A9D-41E6-A2DA-CD9C29EFF94D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60c3ebfdfe12afeca9021daacb6482c5ec9163d","datavalue":{"value":"oriented matroid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433805$9A509BBA-E421-4337-B143-30CEDE686036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0dd12e43ced958bb1d607b25845acbe71a8313","datavalue":{"value":"polyhedral triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433805$99F42628-7BDF-477D-97AD-73532A8D8440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a906025d853398fc3ab059a40a0c432401bee94","datavalue":{"value":"geometric configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433805$C45A863A-D013-4316-B966-44B83F524144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433805$6A989E9A-5DDD-4B98-AC36-59F97D27259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433805$6EB4E484-42F6-4D40-82D9-B529ACEB3D0C","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":"Q3433805$3D940C60-D83C-4D0A-A817-C3C60848CD48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0624b6d061868706f729df8f3aa217eb2208d9a2","datavalue":{"value":{"entity-type":"item","numeric-id":848679,"id":"Q848679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca10b89c0391277c8064b1eae602ff94250dd711","datavalue":{"value":{"amount":"+0.8065357804298401","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":"Q3433805$0B68DFDD-33BF-4463-B5DF-A5D411EC3E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0b114d3d62ba9e1481418dc1535d4e233454d2","datavalue":{"value":{"entity-type":"item","numeric-id":1580742,"id":"Q1580742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1184725e55c155bc1f0555fb7c14210b861098","datavalue":{"value":{"amount":"+0.7953908443450928","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":"Q3433805$E00823AF-09BD-4E16-BAED-634B8A26BD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa5055b35f1e31ff6dc03ecb641fdf8cd8b42fc","datavalue":{"value":{"entity-type":"item","numeric-id":3630397,"id":"Q3630397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05692f1c1f0ceb3b4f1b49a2c3a4977457979acc","datavalue":{"value":{"amount":"+0.7815300822257996","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":"Q3433805$9E76FEBF-7F7F-4047-899A-CF2E313472E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1fbb9d2b35f262c883af95ad96131a6a2df869","datavalue":{"value":{"entity-type":"item","numeric-id":2297727,"id":"Q2297727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86a9e851d1fc52859b3e333a1c537be578962be","datavalue":{"value":{"amount":"+0.7635107636451721","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":"Q3433805$56DD71E5-972D-4BB2-979A-B394B5F5751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287e7e9692f13b10d6b12c65da6a5832ed2cb8d8","datavalue":{"value":{"entity-type":"item","numeric-id":390112,"id":"Q390112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc49a4abd1ba35ed2586beabd4d342b68180d477","datavalue":{"value":{"amount":"+0.7533474564552307","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":"Q3433805$6FC9ECF5-73CF-4702-B419-1D411601ADF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3433805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3433805"}}}}}