{"entities":{"Q1198012":{"pageid":1208761,"ns":120,"title":"Item:Q1198012","lastrevid":66846894,"modified":"2026-04-12T13:15:20Z","type":"item","id":"Q1198012","labels":{"en":{"language":"en","value":"On the greedy algorithm for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92083"}},"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":"Q1198012$7FA8BCB4-B314-46B8-955A-67185B3B6748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79f01b610e3a933ab2c3890d92acf610c6eb97d6","datavalue":{"value":{"text":"On the greedy algorithm for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198012$B0E2AC3E-D852-4625-B5B5-D150301E0445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcb8e41e0058fe5e92e7361d4d557c3f2cac1f17","datavalue":{"value":"0780.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198012$782AEB81-3BF6-4C8F-B749-F2CD6CCBF21D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e23e511069f1d3c29974777da4a7f84eb34bc2","datavalue":{"value":"10.1016/0020-0190(92)90029-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198012$810D3FD4-317D-4F8A-B4B6-26923B0C4232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b1b26cf90f64ea64d60215dd0085be02d5bbea8","datavalue":{"value":{"entity-type":"item","numeric-id":458476,"id":"Q458476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198012$BD126180-23E7-40F9-86BA-2D4ACFB538AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198012$13DBA607-4005-43BE-9535-E59B41E7D428","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198012$01B3400F-8DF2-4E59-938E-BA2A83F8DE70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1198012$387F28DF-DB81-4192-99A3-DCFFB4122F8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198012$576FDC0B-53FB-4D54-97F5-89F370E92A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198012$F3B90476-B6DB-431C-A6C4-C0249DBB9CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd1df00a4ab95fd98d7b1f15e84616e90ef80075","datavalue":{"value":"92083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198012$AE4DAC4D-D836-4D47-97D2-7AEA0547C2BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198012$214FC386-8DCC-4C71-B20B-4AB0986A0F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198012$4F4037FA-A8AA-4D37-A197-DFCE1968F8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1e7eb452ae4c92c43fa47bb0afb8177365a429","datavalue":{"value":"greedy algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198012$0EE5778E-5BB5-4643-B0FC-10F35E46D9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198012$14D837B3-E306-4655-B7C2-0178BF83A8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198012$4BAF485B-755C-47CF-B28A-1ABD5FE70763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198012$890D72BB-5FBB-4399-98B8-A187C38799B9","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":"Q1198012$7B9F0688-4260-4F15-AD84-75D0390D03E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198012$1E70031E-CA2F-42B9-B9A3-A0D336F8C441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198012$925A2BB7-C6C0-4C38-A615-FD2723B33782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df2819e7e3879cda15fbfca6ce617773c6ecd81","datavalue":{"value":{"entity-type":"item","numeric-id":915256,"id":"Q915256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198012$9A38CD1D-1325-4FD8-862F-4317F99D46E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f8f21098a34e670e432831bdd04ff7197a42986","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90029-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198012$EDB43B14-5CCE-4072-B38D-21FC8278A4B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce8e751288ed5386941993b7bb13e0512dc39e66","datavalue":{"value":"W2087662271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198012$E6879547-435D-495E-894F-67828E3BC557","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83726f87c22d6081f4e82dea5d78f870ffede07","datavalue":{"value":{"entity-type":"item","numeric-id":5269825,"id":"Q5269825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92017cee2d6aec87357ad68bbae793d20f5af1d8","datavalue":{"value":{"amount":"+0.927702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$50C7FCDA-5B84-4CDC-9187-4B5723020A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a74c293539b451cbdf08170d539b94732749263","datavalue":{"value":{"entity-type":"item","numeric-id":3092215,"id":"Q3092215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6ab22b55843e673baa8ce166daaa1d16943765","datavalue":{"value":{"amount":"+0.91535616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$4FCE1B36-0C67-444E-9792-C0BF9B9BD3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267852268ef92e7f3e3d9e8057a1589c67641d67","datavalue":{"value":{"entity-type":"item","numeric-id":4263798,"id":"Q4263798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f872453657e44779f6edd00c78af88f11fb616c","datavalue":{"value":{"amount":"+0.91031206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$555A0DD1-4D91-47A4-B7B4-9317BFE17AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf06cca49af4e51876acb15277cc401ad6e308b","datavalue":{"value":{"amount":"+0.90171045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$4D084690-E850-4C94-95D5-29D7BEF9F412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a6fcdbe59d6e1ee0f96c152bb2c22aa0866fd1","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efdfe112333cc40187059df779a55ae2e10ffc4","datavalue":{"value":{"amount":"+0.90161884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$E7641B42-5838-4E4C-9FEE-511F7CF00A48","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":"73b08e6761ebdeb9b6590096fb5dd82a64d6fb9e","datavalue":{"value":{"amount":"+0.8994758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$EDE6CAF2-F9DF-4E85-9353-BF992C5B55CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0426c68960c44e86d6bff533d59bdf26681ae031","datavalue":{"value":{"entity-type":"item","numeric-id":4913846,"id":"Q4913846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d77805f5b9ad34998aa138cd4dd046e26ac9c7b","datavalue":{"value":{"amount":"+0.89818704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$675DBF14-793F-40A0-9C5E-21055F32DDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b729d37c21cfb22a91869d40f46a96aedd0ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1984679,"id":"Q1984679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a499db259beef56666111bc631baf6e541ffa64","datavalue":{"value":{"amount":"+0.89763093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$8185DB7D-9167-4294-8E03-723098FE4367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f9200e1a43cd7afef68a034c74667e054b7e46","datavalue":{"value":{"entity-type":"item","numeric-id":1351157,"id":"Q1351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5909846244812ccdbf33e57ac060ce009adb75fc","datavalue":{"value":{"amount":"+0.89391774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$0DB38E04-120A-45ED-A809-DC922E25816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc05952e2e19137fba4ff4064819b0e7f45979","datavalue":{"value":{"entity-type":"item","numeric-id":1331899,"id":"Q1331899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b85aea7673a3fca64465d360d4784783b258a02","datavalue":{"value":{"amount":"+0.89366925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198012$CF27C749-1169-4C83-BF63-588083767874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the greedy algorithm for satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_greedy_algorithm_for_satisfiability"}}}}}