{"entities":{"Q2741518":{"pageid":2752257,"ns":120,"title":"Item:Q2741518","lastrevid":82920761,"modified":"2026-05-06T22:25:03Z","type":"item","id":"Q2741518","labels":{"en":{"language":"en","value":"Combining preorder and postorder resolution in a satisfiability solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642917"}},"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":"Q2741518$7290A20C-996D-4135-9503-376383C47C1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78ce6cb0e36a2cdfa822f4e7b93c0cc3acbd77df","datavalue":{"value":"0990.90534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741518$CC4CB266-13C7-460D-B67D-7956AFC7F568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741518$37462BE4-7F0E-40F9-AC90-E6BE8636CCF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741518$CAD99634-66B9-40D6-9C35-8E87B723DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30d6d0de101c6ff200d712a6d7e331bcba20c783","datavalue":{"value":"90B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741518$85451EF8-97B7-457A-97F0-D19361469DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d70a15edd2cf31555f6c0a60333e50aa12e939ff","datavalue":{"value":"1642917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741518$267775A9-3DD1-470A-9ECF-1E46825DBC47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d7d0adfd773f416fb8a743b5ee05385e85ada9","datavalue":{"value":"backtracking-search satisfiability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741518$64C7C15E-CE2C-434B-9143-772B40A7AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763c4ef227b268b62e1eb7df7e1114801390c37a","datavalue":{"value":"linear-time decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741518$C0E4CC7D-7639-4836-A264-CC0E4FBE53A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$B1DC8DF6-2A77-4AA7-898E-D2F3847D40EC","rank":"normal"}],"P1463":[{"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":"Q2741518$5D8B06CA-C832-4D83-946F-D8A5F192A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$598077D4-CC82-47D9-A898-963DE61AA1E6","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":"Q2741518$965B6BE3-BC16-47F5-8E29-F9895800E6AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c54121206239d6df9edb8a8ba7f6ab12026708","datavalue":{"value":{"entity-type":"item","numeric-id":4495107,"id":"Q4495107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$0B7DA1BC-0777-495E-AF81-6F33D9B99402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f389c73aaebe35365daa9fdc48339b97d432f8","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$51FA3C2D-A96E-41A3-B379-E9FBEFE3A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6818202fb0f72476c2fc6d614e30c9af2181492c","datavalue":{"value":{"entity-type":"item","numeric-id":1575934,"id":"Q1575934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$F8D5119E-B3F9-4DBC-9CE4-E4D96A61E7FE","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":"Q2741518$6CDB644E-ABEC-442B-87C2-867644CE0BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$293BF7AE-59BE-4D73-B9DB-7C2546546D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$80FA69F2-B563-4EA3-BAD0-64A46EFF8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$60AA2505-0D14-4253-B39D-E2B8EB29646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06844938098368d2f2cf613285d701ed35dce312","datavalue":{"value":{"entity-type":"item","numeric-id":5687269,"id":"Q5687269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$F917B24C-4534-4E0C-A7E6-1612ECE473A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c654f616f4a400f5e55e8efffd4a6026e0205217","datavalue":{"value":{"entity-type":"item","numeric-id":1978019,"id":"Q1978019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$EECD0F35-1A4B-43CA-B9C8-8880602FF960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1478273e0e33a79d374260ca5dc8c9927268f336","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741518$725E9B1C-17CF-4C60-8283-6AFE60956A31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c22f04c9a620fa526d1b2dfbb22d6d05c12625","datavalue":{"value":{"entity-type":"item","numeric-id":1352293,"id":"Q1352293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a70a284594e340186e3bbd8ff2c65c176483fd","datavalue":{"value":{"amount":"+0.8490172","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":"Q2741518$BF20C06F-A5AD-4D9D-9F01-C4F9C4E32B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c93ef3095256023ef6d468f22eff44a84ae6ce","datavalue":{"value":{"entity-type":"item","numeric-id":5897214,"id":"Q5897214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf85b154d0fcf1bea3603e14a6a61f8cc94abe2","datavalue":{"value":{"amount":"+0.8486121","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":"Q2741518$41D3736E-ED8B-49D7-8AC2-A01598026E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24ac00bd5f3eb86c49d70cbbc09fcc92919b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502688,"id":"Q3502688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e8b3198f9beceb9ef002783f613da870633b7b","datavalue":{"value":{"amount":"+0.8472932","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":"Q2741518$7D5DF33F-F0A4-4653-82B6-FE76DE9EA4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3913820f0f7f91e823d617ba44a2cd3c836457fb","datavalue":{"value":{"entity-type":"item","numeric-id":3620438,"id":"Q3620438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a48d958eaae11a6fa9386151682fb25f96fa32","datavalue":{"value":{"amount":"+0.8462486","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":"Q2741518$44932EC8-C444-40DC-8F64-8FD43AE858FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3844197b51652e7838faf5da51e4decacec94bce","datavalue":{"value":{"entity-type":"item","numeric-id":3192185,"id":"Q3192185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2a56a295d0f7a35006e07e71975ed723c18c31","datavalue":{"value":{"amount":"+0.8443614","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":"Q2741518$AAD084CB-DA9E-4B19-BD71-A8C4D2D987B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f180a1a877db8fef1bb4486826b3d7de3bff7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2429982,"id":"Q2429982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564d221ac7d4629571ba3d0cea6d010374e59a9e","datavalue":{"value":{"amount":"+0.84328496","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":"Q2741518$54FF4E49-25C4-417C-9541-533F2B91547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41f1985a070553d72634d858f9712e716867f42","datavalue":{"value":{"entity-type":"item","numeric-id":3191110,"id":"Q3191110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cbe4f7bb8a9a46e4b25743976070e1bdb2ca6b","datavalue":{"value":{"amount":"+0.8431445","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":"Q2741518$1492CC6D-65EF-4BCE-B5A3-6ECA5FD6FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba67da8e79560f71164dbb4b93d484d72969a4b5","datavalue":{"value":{"amount":"+0.8426953","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":"Q2741518$DD5DE3D8-B315-4C21-A0BD-0D52789EAA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862f4cd4afdccae419399e58a2bcfb802b5e158f","datavalue":{"value":{"entity-type":"item","numeric-id":2234106,"id":"Q2234106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160445a26d498ccf0bd00f0b722efaa49f83a703","datavalue":{"value":{"amount":"+0.8415034","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":"Q2741518$4712B086-E2CC-4B26-8423-F560D1251E43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3f22e0957c2266e7c827d6e8b56bc794eec4abf","datavalue":{"value":{"text":"Combining preorder and postorder resolution in a satisfiability solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741518$831AC3A1-0065-4512-BEA6-9917BF1407EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining preorder and postorder resolution in a satisfiability solver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_preorder_and_postorder_resolution_in_a_satisfiability_solver"}}}}}