{"entities":{"Q4840102":{"pageid":6869682,"ns":120,"title":"Item:Q4840102","lastrevid":47333395,"modified":"2026-01-01T10:00:26Z","type":"item","id":"Q4840102","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 776082"}},"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":"Q4840102$A97676C7-00E6-42E4-ACA5-FAFF9DE96D27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3927f807e47b29eccef75eae64cdbc4884588bae","datavalue":{"value":"0837.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840102$A4496D9C-3086-4471-A5D5-A61B705840EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"673d424cd32a8922373044d7504d72be64f351fa","datavalue":{"value":{"entity-type":"item","numeric-id":192391,"id":"Q192391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4840102$7C83B028-8351-4AF4-ADB5-CDFB1998AE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c4e5afb6084c75f4f8878bb3bd337019ced071d","datavalue":{"value":{"time":"+1996-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4840102$F82A3989-22BD-4F95-9BA5-56208F79FAD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840102$A7369867-B298-4416-B96C-D93A6293E266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840102$12FF545D-34AE-4E64-A515-530D76F029A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840102$6D57CA60-6E64-45E9-AE0F-402BB6300BDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c6ccb285738c80fa6c0135d0549efb35a3c2521","datavalue":{"value":"776082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840102$23DB0BD7-C780-4EE1-A62E-7522CEC15D74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980dd8e82587afc8004446f8efa326739241c0b4","datavalue":{"value":"conjunctive normal form formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840102$A975CD88-AD49-44D1-BBC2-CA7E0E6DAF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840102$24292D82-06ED-410C-88D8-B6D331D4DCC0","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":"Q4840102$510D21DF-C107-4488-914B-EE5935597AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5312ead94358e2c600e385245bdecd85ed3f26","datavalue":{"value":{"entity-type":"item","numeric-id":4420897,"id":"Q4420897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c656b4530e83e9b89fba4bcf3c463a388c2b910","datavalue":{"value":{"amount":"+0.8389171957969666","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":"Q4840102$1D99E5A5-E372-42FC-B79A-DD980C89E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e2d69121d2f15f6ed4ffe1858482cc331a96c0","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c282267be0a0071657b5370413fe0feefe9864","datavalue":{"value":{"amount":"+0.8373595476150513","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":"Q4840102$5F72339F-0660-429A-80E8-6E3D1FB608EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c2dc4dd4ceb94516eb003cfd95128c18f5c2be","datavalue":{"value":{"amount":"+0.8068391680717468","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":"Q4840102$D23F3B52-5BC9-41CB-BAC9-3B80D637AB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5005b7a0aa12e3219c626dc16cb73f1f7247d8","datavalue":{"value":{"amount":"+0.7988440990447998","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":"Q4840102$F84B4964-7F38-46F4-B5FD-325CCA714399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a752c33abd4e8dccbc03502de1ffd633adb01577","datavalue":{"value":{"entity-type":"item","numeric-id":6487934,"id":"Q6487934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57173bcf0fe4aa755e1f49808649a1d760e7a7db","datavalue":{"value":{"amount":"+0.7706475853919983","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":"Q4840102$9F867EEC-F231-424B-A031-8FA72AC4FB88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4840102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4840102"}}}}}