{"entities":{"Q1037449":{"pageid":1039297,"ns":120,"title":"Item:Q1037449","lastrevid":69479148,"modified":"2026-04-13T07:16:55Z","type":"item","id":"Q1037449","labels":{"en":{"language":"en","value":"Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633375"}},"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":"Q1037449$993A3AC6-586F-448E-A929-4915AFAC1042","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1748372202c52d8eef3a20e8cb6ac8ee95223896","datavalue":{"value":{"text":"Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037449$A479B4E1-5ECC-4C36-AE58-02ABE4440B0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5354df5fe38ad9a1ee4843e9dd6b9e734b7dadc","datavalue":{"value":"1173.90510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037449$7174068F-8E44-437E-9293-299363CC2439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30e2a7d6d9959fb3d62e8721774b106889447b8f","datavalue":{"value":{"entity-type":"item","numeric-id":408637,"id":"Q408637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$20A171B0-A4B8-4047-8A00-DE4425AD94F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b6a8ca729b960284834daaee6c3931412d78dc7","datavalue":{"value":{"entity-type":"item","numeric-id":336497,"id":"Q336497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$87146718-74F5-4737-A160-6CA398E095D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4249c9a7a0b14df0599e70315ca2a040457d857c","datavalue":{"value":{"entity-type":"item","numeric-id":260023,"id":"Q260023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$F01A0829-D5F5-4180-BF30-F721251771DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3368c17dcc0d6f0f0d8fa1492c98366146adab34","datavalue":{"value":{"entity-type":"item","numeric-id":545545,"id":"Q545545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$151462A2-D580-4175-B6E2-C016ADD2B08B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$E877BF94-8DF7-4B11-986F-5A337B24C4BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-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":"Q1037449$D08459BB-DA00-48E8-85A9-A6921442FBA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037449$F704AC3D-FFD8-45C4-9A82-9957AF650FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037449$BA9F9B48-E854-4D67-A942-6B8E204ED764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffbd5b039becc360fa1423e1a172d8cf2c70331b","datavalue":{"value":"5633375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037449$D2164A2B-E954-4F1F-9D85-7E2E5D2762B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037449$65F3BCAC-C029-486A-A325-C5CA49190D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037449$516D538D-B4C9-4ADE-9341-5E13F3DA1D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e725edbc59a90e2f350be843a4e3c536d8eeda7c","datavalue":{"value":"minimal unsatisfiable subformulas (MUS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037449$517E07C8-C2D7-4764-9EF9-2CC0CC18E7FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7e6827c5fd59632d48d17e5c0f38766287897fd","datavalue":{"value":{"entity-type":"item","numeric-id":20565,"id":"Q20565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$4A6F764F-CAC1-416C-9AC1-FC80A75EE767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$C97895ED-5226-497B-9FB4-CC02F53065C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$D6FDBCFD-F135-41B5-8BC6-3EBC7632D79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$9DD2DC62-8F7E-4778-B61C-05C7CAC334AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$B1DF77F1-F8F5-400E-AF33-2C7F6E2A6D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$682226DA-86B3-48DF-A14D-C8AD67A010D5","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":"Q1037449$0213941B-C1F4-4EAC-BAE6-B9ADB1F04073","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d678f12dc841070245d3f8ed4d01ddd4a5588efb","datavalue":{"value":"https://doi.org/10.1007/s10878-008-9142-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037449$8D18C586-7D18-4335-9AB8-14835D0CECA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"558ae768cb6e6f3d71b66dfa7b29b6ab951e1eef","datavalue":{"value":"W2081776044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037449$83586379-E6CD-4FB6-9B9D-5AAE02A93F20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3895ea8f194c4433a73616abd37844fe94876222","datavalue":{"value":{"entity-type":"item","numeric-id":4263701,"id":"Q4263701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$633CA266-9FDF-4E5D-8BB9-DCCEFAA1600C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8340ae5c929511377425cf6fbe66f3827938e85a","datavalue":{"value":{"entity-type":"item","numeric-id":4247437,"id":"Q4247437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$7FA809E2-0E93-43E6-A8E8-4EE818FE6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafca812d9e4c7ca1ddc3a0fcf890183aad4d322","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$FCC14173-1723-4585-9F15-62135CCE309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37d3694c50f3395e78b82e401f4b3dee259c900","datavalue":{"value":{"entity-type":"item","numeric-id":1408373,"id":"Q1408373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$CAE76BA1-455D-4330-A4BC-5DED156F66FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ca4646d6f13a5b667ec2c36ad9a66b1ec21467","datavalue":{"value":{"entity-type":"item","numeric-id":4354937,"id":"Q4354937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$636784E2-5C72-44E6-8D14-CA9233D96B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$F2C4BB52-05A4-4657-B7D0-5F4D753DCD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$4EA2D5CA-60D6-4B83-AE86-9917236E04DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7697a101891418d7fd6e14c12bcd18c376bf0a72","datavalue":{"value":{"entity-type":"item","numeric-id":2467361,"id":"Q2467361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$79DDF0FA-85F3-456F-B891-C84BBF165F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$D20C1C5B-546C-40F5-A9BE-0FDB76764498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fe1b8acc842469fb04640df785c75e5bfeaa02","datavalue":{"value":{"entity-type":"item","numeric-id":868387,"id":"Q868387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$B0FF3030-341F-4D02-A6A9-997D8856829B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e221fbc27351e58da31a742ce227d7a9ea37f27","datavalue":{"value":{"entity-type":"item","numeric-id":4021366,"id":"Q4021366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$31F88337-5E45-427E-8A7A-FBD5C161D0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5e03eda8b209d0eec7ecf5251efc8b2588b8d3","datavalue":{"value":{"entity-type":"item","numeric-id":4354785,"id":"Q4354785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$4EB696BE-BD76-43E1-B6EB-541739A561F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$8A338C17-BDB2-4521-8562-A3F4D00625F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$DD5C9D63-E5BF-4064-AF9C-38F7EC5A5DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760539dcab71c4c6178e72eec7f798d0c15bee72","datavalue":{"value":{"entity-type":"item","numeric-id":5463436,"id":"Q5463436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$989E6759-5EEB-4E3A-9A77-B8F617CDE47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49028d8775bdf9fd494597e7926eb3a6bde9a5a5","datavalue":{"value":{"entity-type":"item","numeric-id":1853126,"id":"Q1853126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$1250A5F2-0D28-4EFB-82EF-4514931F13C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a33ce35f676b680d016698e0b2b6311d0722e3","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$2201BD8B-5B5F-42AB-AC2F-535AE17CF52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$91CBC4A0-E410-4016-B1F7-581D6616CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd0772d391faca3a6ed23dc05aa159b0cc6aa0d","datavalue":{"value":{"entity-type":"item","numeric-id":1977758,"id":"Q1977758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$68B5A6C6-554D-4637-8C93-1F0C4DAF5B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3821cba10f9ba32847ffe54a67883c54c1cae65a","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037449$903405F9-8B2C-4B0B-B634-87D6D77DC7B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f924791e7c929f39d5fb6f4cf5fd56d218eaedb8","datavalue":{"value":"10.1007/S10878-008-9142-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037449$02E66C8D-6804-4A82-B1E8-23BAE9F7371E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dfa35810581070e46f5460196bbfa0b7cfee83","datavalue":{"value":{"entity-type":"item","numeric-id":4473049,"id":"Q4473049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7ca28056f84091bca09e477eb4a4d0eb638127","datavalue":{"value":{"amount":"+0.93981546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$4F52F42E-5E3E-47F1-91EF-C17965050109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad905d83d2a10e210e82c599b9f179dad7ea7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7bf0f06d539f4f0d954b253b069eee71b49b3e","datavalue":{"value":{"amount":"+0.9206457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$7F70C494-EEE5-47C4-9725-599DA532E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1536bf8c2cadd22efa4a8651783666c3a27c892c","datavalue":{"value":{"entity-type":"item","numeric-id":4583686,"id":"Q4583686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fe26455980c5446e5edfcc7c288d91bb9cdf4b","datavalue":{"value":{"amount":"+0.9141588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$BF5BD772-A2F6-4AFA-934B-914B5B05FF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ca2c9c0c2484fb1d2a29c3735b9e8dc10cf37c","datavalue":{"value":{"entity-type":"item","numeric-id":1037642,"id":"Q1037642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50eb5cd542303f3a4da6cd98b72d6f84eab88825","datavalue":{"value":{"amount":"+0.9095314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$E8A65FE9-64DA-45B9-BAAF-C301C5728362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd8c25f8e8adce9d13af2a2e2cd39bbfdcc7479","datavalue":{"value":{"entity-type":"item","numeric-id":1777390,"id":"Q1777390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc06ee2001b2875df35b5c25755a6d6099b48f2","datavalue":{"value":{"amount":"+0.9050843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$C460F7C2-1F18-42A0-B208-09CC98BBEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f377599ef69fd95d5d3831635020dc8687053b","datavalue":{"value":{"entity-type":"item","numeric-id":1408373,"id":"Q1408373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7ee43d60cf77f6c34348d84022d1e5acd63ed","datavalue":{"value":{"amount":"+0.89401037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$B243FC12-4122-4358-8874-311E3721C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd15885a5b8b0934c2129f31489db29033f99dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c4f552c30d655cf0cf90c83c1b9d30dafa5cd6","datavalue":{"value":{"amount":"+0.89335513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$936F2023-7F85-4F7D-A60F-776976B4B48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f69a8b554f9ba68c31b509186653fbce98a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8eee5882a0140c16a2973174f7fab94daf86a5","datavalue":{"value":{"amount":"+0.88764715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$8E9CFD2C-B7A4-449D-AB7F-F7EC102A392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26aae6f1320b96cf0c34496e73b1b4b71686b4d","datavalue":{"value":{"amount":"+0.8856528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1037449$A3DECE53-8E82-49D0-B6B5-993F4A4AAD75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_heuristics_to_find_minimal_unsatisfiable_subformulas_in_satisfiability_problems"}}}}}