{"entities":{"Q3060720":{"pageid":3071436,"ns":120,"title":"Item:Q3060720","lastrevid":51144284,"modified":"2026-01-16T22:13:42Z","type":"item","id":"Q3060720","labels":{"en":{"language":"en","value":"Satisfiability with index dependency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825276"}},"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":"Q3060720$76041AA4-F6C8-41B4-9258-76847B211F11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d437cb4363222d06aa2951c6b3b4b38570cdb306","datavalue":{"value":{"text":"Satisfiability with Index Dependency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060720$DEEE0E4C-0ADA-47ED-8506-2505524A84B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77b44fcbce2d4cd269efc5dbd14e58e86c5e1e05","datavalue":{"value":"1310.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060720$BC1F0377-BDAE-49BE-931A-BA9A153B3132","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b58dbbe2e848dcbdcb2ec3dc61c1c5bac9bbd802","datavalue":{"value":"10.1007/978-3-642-17517-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060720$B070F32E-9EF8-4681-8569-8D1BC9190889","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"965dd0d5323c417748187809a5351b729cd95bdd","datavalue":{"value":{"entity-type":"item","numeric-id":284338,"id":"Q284338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060720$B7904090-BDA0-41DF-9614-BA73CE3F44C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b60e704dbf305930cc6453dc1d47916a74ff1e","datavalue":{"value":{"entity-type":"item","numeric-id":591833,"id":"Q591833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060720$5E0DCB24-8ECA-421B-A452-E088D5A35C7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1f23f6c685108e278a483090ddf4cef029237a5","datavalue":{"value":{"entity-type":"item","numeric-id":2729094,"id":"Q2729094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060720$72EA6FFD-EBA9-437A-810F-E3F3B9D0599C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c0aa7a0532292585c972472b9e5b14b502561a","datavalue":{"value":{"time":"+2010-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060720$8C003B70-FA2D-4787-9217-B5894C4ED740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060720$D1F610D4-0602-408A-BBF5-201CB951901D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5214400533b40a93dee3c3443caaf834b2e4c7d3","datavalue":{"value":"5825276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060720$46FE3400-75C7-43ED-A66C-7DC639A74889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060720$DB5ED70D-1889-44A8-BEDA-9A33FCB7D570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a5e0b1da6edc5a586eb94ee57d342e52291187","datavalue":{"value":"index-dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060720$68AE1020-EB6E-4D5D-AC06-601B7B07415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fafcd53d63b71305f18cb1c92bea86da114e02","datavalue":{"value":"index-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060720$C3A4800A-058B-46F5-B537-6AB6EDA53434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72494967642b9ea1b87091d53eb77ad552577f43","datavalue":{"value":"bandwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060720$F0A6E26F-54E3-4881-8EC5-CAD6B5513897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b987be565609a99f8666695ba29384cff98521a9","datavalue":{"value":"dichotomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060720$5DF33E97-9B00-4E1D-AB0F-6C6DE19EDA3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e07ac258d59c8e1ba77c20daae1bd8c4b666c30","datavalue":{"value":{"entity-type":"item","numeric-id":15887,"id":"Q15887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060720$42669BAD-840D-4ADD-A83D-71641DB9298B","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":"Q3060720$317F19B3-FF66-4E40-8BF5-5568278806B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"486a33e1f5218b3822b82296a43e345261f6ab04","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17517-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3060720$FC19BA07-FDE9-4B7D-AB4E-00FC96A44A75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"907e852dcd910b5ce0b62580cf321b3f76372b90","datavalue":{"value":"W1563026540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060720$AFD83D7E-86E4-4B93-BDD6-FF3CB90D748F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7c2827c46c45ecc50d93a3091fee892fe26504","datavalue":{"value":{"entity-type":"item","numeric-id":2637283,"id":"Q2637283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a48910496c4ae4f6bcf0ad3b2b00c007724b805","datavalue":{"value":{"amount":"+0.9986668825149536","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":"Q3060720$9D2A6977-018C-4D60-A13A-D28BB6A61380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc356a18244e2efa65bc6e99caf8f44b86aa243","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51de9c19824ed6e6709f8bac8b2476041ecaa03","datavalue":{"value":{"amount":"+0.8017826676368713","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":"Q3060720$1894A39B-0692-41F8-B501-49DD547CBC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7d84aac28aa4104c6f9771421b418b2d3a65d8","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df99165ded49436f09882d7af8a906ad79c9801f","datavalue":{"value":{"amount":"+0.8004590272903442","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":"Q3060720$5C42DD2E-B380-488B-B12B-7CDDFAB36C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef019ff45542b2e9fb9aab563a2f0f87e7c660","datavalue":{"value":{"entity-type":"item","numeric-id":3599093,"id":"Q3599093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822e6f9761bf43f372a495c13bb732b0d3e461e3","datavalue":{"value":{"amount":"+0.7830496430397034","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":"Q3060720$675396F0-4EA1-4DB9-B2D6-5BDC9A7A5806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8cdc52a749d0fba7b386ffa8253b547941980c","datavalue":{"value":{"amount":"+0.7825725078582764","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":"Q3060720$CD6DDBAC-07BF-4036-8859-74B713F65D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060720"}}}}}