{"entities":{"Q673379":{"pageid":675228,"ns":120,"title":"Item:Q673379","lastrevid":46765083,"modified":"2025-12-25T13:27:44Z","type":"item","id":"Q673379","labels":{"en":{"language":"en","value":"On-line algorithms for satisfiability problems with uncertainty"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985538"}},"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":"Q673379$43AF179C-2109-42D4-B9E3-9AAAE566DE1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fb69ec9e12029f84a2970c2d5f6ff33b58290c3","datavalue":{"value":{"text":"On-line algorithms for satisfiability problems with uncertainty","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673379$9AC44672-7867-40C5-9281-E1B387A57B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"924b0a57a49bc880ded249a32e99ae8ce72afb1b","datavalue":{"value":"0874.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673379$F94FCB1E-7140-4A7C-8EF3-BBAFEEF4167F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc1fe2ce39803ffae97921ef8d7204d96ba67635","datavalue":{"value":"10.1016/S0304-3975(96)00123-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673379$385AA8BD-8843-41E5-A6DD-96774DCA2647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e39cc156d6044f5bb22fad3ea371d9de4cbff048","datavalue":{"value":{"entity-type":"item","numeric-id":673378,"id":"Q673378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$49586FE3-415F-410C-A8B5-E96926A3425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c86f894860ed1ad30e38407d744d07b5dc06b89","datavalue":{"value":{"entity-type":"item","numeric-id":289923,"id":"Q289923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$0600F575-BAEF-4741-87AB-3C7C52D2839D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$71759684-A7A4-439D-A71F-D0478EB06A94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673379$0F8EDCB8-B8A3-41E9-868C-D56C44DADA7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673379$6A6BFF9F-2147-4C28-A02C-E21567B50508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673379$DAD91B8A-D34A-44F5-96DD-AD8EF2E6A92F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac5e27f908fe626925251754e8d1375974935105","datavalue":{"value":"985538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673379$38C46A2F-036C-4A43-9968-37715259CBE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d776949591ce435cf6fdd02d0e00d5b6548496","datavalue":{"value":"on-line satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q673379$34AEE9ED-9556-4C89-BE35-A5BCB097AE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q673379$78F2B684-9788-4F80-9E0A-7CB49C095B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q673379$DF96F3C5-A6D7-48EE-93F9-F04E6098930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q673379$32F71072-A8C8-4154-9B58-BEB0EA254378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q673379$31717EF1-E3AE-485F-937C-0335336A6D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f9e1b34907c1a17dbbf880188c29924d0eee16","datavalue":{"value":"reasoning in knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q673379$158DA60F-07CC-48E5-8C2F-D09ABA2B8545","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":"Q673379$CCBFCA60-F65A-4318-A002-13D5D8DC2158","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$A2B28F2D-46A7-40D4-8321-B51C195403F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc02dd393daeba068a538742544af1d01d7236b","datavalue":{"value":{"entity-type":"item","numeric-id":3970696,"id":"Q3970696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$0630A56E-D33A-47AE-8BFF-C7F3F7E4F197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccf10be2b1c227be805609685fbec178e6abf63","datavalue":{"value":{"entity-type":"item","numeric-id":913481,"id":"Q913481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$02B31817-BC02-4A0B-B57C-12429FCC3F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$900950D1-B9DF-4ECC-A1EC-BCA2790EEF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$56AF034A-8C58-467A-AB0A-F9AFB21FB4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$5C33EB0C-28D8-474A-8793-616F15AB06B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf7e5c7d03504edd10b95f6e63ce402d34f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":1145129,"id":"Q1145129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$EB100D91-E678-4680-BE51-441CEF0CD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3bf56b7e27f34b97f940a7182b5319066422dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3993187,"id":"Q3993187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$492686E1-588B-4630-B57D-AE197FB07465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55513ac0d8c3a56962aba277d470c4150e1c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1803674,"id":"Q1803674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$9068864F-D3BA-4384-8371-38A1ABD90BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3de9ca2e31cd545f068e880d9a419aae7e937b","datavalue":{"value":{"entity-type":"item","numeric-id":673379,"id":"Q673379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$7168E3EB-D818-457C-B233-89199D1E1C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a28588d59de811af09a1d765f6da8f58b178e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3798294,"id":"Q3798294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$91438116-4D01-4840-82E6-5CC4BB32B40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66dda9edf00ab39a962fa43e3f8526c35cc81fe","datavalue":{"value":{"entity-type":"item","numeric-id":1894360,"id":"Q1894360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$988BC2BE-2317-42C5-8B37-AF020DD6EEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$8662DA9C-C01E-4929-8694-D297CF399EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9899ac3711a0ba7eaa5b54b87f5ebafbb4562e","datavalue":{"value":{"entity-type":"item","numeric-id":4131415,"id":"Q4131415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$EDF4CA14-F726-4917-8A5D-3AD16E939855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$EE575E43-36FD-4D80-8B1C-D63788F60C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673379$9BA6EA9C-95D1-4B44-8DDC-58CC1E7CE24F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ee7ea66ac29b47348816295977d5126325e550","datavalue":{"value":{"entity-type":"item","numeric-id":3970696,"id":"Q3970696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf156f3f5542dbd333bce246795ea41812cd1eb","datavalue":{"value":{"amount":"+0.8520122170448303","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":"Q673379$6BFA18CC-2D0D-45F7-87F4-BED9A87E1638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6520bca1d6df6cd498a249bea64bd603b777fdf4","datavalue":{"value":{"amount":"+0.7845709919929504","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":"Q673379$F7595E74-ED84-4D97-8D31-A7D76C56031E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e97ca015b673f596221e17be2d032fb1e6b287","datavalue":{"value":{"amount":"+0.7584828734397888","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":"Q673379$21B6A0BA-7A22-4E29-977C-7964A319F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c8915c585541ef8496cd82bf66f17e84f08ea1","datavalue":{"value":{"amount":"+0.7454015612602234","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":"Q673379$BD2FB659-B03C-451F-8BD4-871EB798D880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f820ae2d54e37fcb82d07b53376c2eb14e364b09","datavalue":{"value":{"entity-type":"item","numeric-id":4252413,"id":"Q4252413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb57a1844a2baef339d33b903f54ac65b71e05e","datavalue":{"value":{"amount":"+0.7417901158332825","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":"Q673379$A7B246F3-D4BC-44A8-A711-D05AA6EAE71B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673379"}}}}}