{"entities":{"Q3612474":{"pageid":5642380,"ns":120,"title":"Item:Q3612474","lastrevid":50601104,"modified":"2026-01-14T12:59:09Z","type":"item","id":"Q3612474","labels":{"en":{"language":"en","value":"Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527218"}},"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":"Q3612474$4E8D654D-7C8F-4266-9AFA-067001228F11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4fe62c3e3b9c2d567c4b494c39cb12a1573b809","datavalue":{"value":{"text":"Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612474$16070AB7-9A60-406B-85C7-2294BC86722B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c400038a67dc62c38a8ad6cc349300eca136a795","datavalue":{"value":"1214.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$CE55EF18-C967-4A84-9DE0-714585C631C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3984194c4aea945d35f88b41bfb784f6637d9dce","datavalue":{"value":"10.1007/978-3-540-72788-0_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$49205E3E-240F-4F97-842A-82BFBB695785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612474$E22F87EF-8CD7-4440-9E03-23B144C00F25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612474$63A71412-9042-4C42-8ECF-CE0B5BAB394E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612474$22320B17-C21B-4F24-862B-A6DCF2F2878E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$04C695B8-023D-4BAD-BD4A-E03AB9778A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$BED0D378-2F15-4892-8992-ED36F2ECAD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$6635C3C2-C0CD-4B06-B42B-44CE2AD45FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3dde434e0870d4570e48b1514f7503fa10cbacb","datavalue":{"value":"5527218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$71D0C2BD-D5CD-4DAC-AFD9-91D3E162B742","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":"Q3612474$4AB6D5CC-4734-4B3F-B1EE-6F02D94F614D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ed9bf6cc6496560b7030b15ca5dfeb2a36d6ca4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612474$DE5AC4EA-7304-4DBE-BA8B-B917D05320BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"036ef9a1bac8af2b2524ab279832a85d5386ea2c","datavalue":{"value":"W1507895835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612474$3419FD8C-B573-405B-98C2-EF76A97966DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880acca7b73831f2ef96ea6aa56c5186166494b","datavalue":{"value":{"entity-type":"item","numeric-id":2741528,"id":"Q2741528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61d1a4b461634287da57902a7a295b062716841","datavalue":{"value":{"amount":"+0.7753477692604065","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":"Q3612474$6D9DDDC6-5AC0-445A-8A86-1DD52EBCFED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5877198c7d51f88da9cd4d65832e309cdc8d253a","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50342b0f507c0b7af93726966c8d9c51f6bb959f","datavalue":{"value":{"amount":"+0.7640154361724854","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":"Q3612474$D2F3E68C-8BED-416E-B154-85EBDAA4428C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0ee27dcea30852058077ef544304f79642fae4","datavalue":{"value":{"entity-type":"item","numeric-id":5714776,"id":"Q5714776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6406314dd2bdddc1916c0366d6005f9856dcd1","datavalue":{"value":{"amount":"+0.7537955045700073","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":"Q3612474$5C943896-B460-4AAD-9D7A-15A331B6B772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecdb3146117de732fbd82638b7e590a701a54eb","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fcc7c60c8f8b47b735b6ca42f053f37ca15bfda","datavalue":{"value":{"amount":"+0.7514376044273376","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":"Q3612474$760F1AE1-C8FB-4B7F-8CD7-D4D9D2758755","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":"50e7f7097bf3d2bbebc6e6d3fd820db5f0fcba08","datavalue":{"value":{"amount":"+0.7456507086753845","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":"Q3612474$45BB610C-EEFD-4CEF-AA43-6B5DE4A749C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612474"}}}}}