{"entities":{"Q3523077":{"pageid":5552981,"ns":120,"title":"Item:Q3523077","lastrevid":50441564,"modified":"2026-01-14T01:43:47Z","type":"item","id":"Q3523077","labels":{"en":{"language":"en","value":"Propagation = Lazy Clause Generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318839"}},"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":"Q3523077$A0456BCA-15B0-4585-B5FE-1E7CB4019B42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59679d0d61a094bad23ed340435988a226b0250b","datavalue":{"value":{"text":"Propagation = Lazy Clause Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523077$4A9D14A9-E30C-449D-AE14-977633A3820D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"882aeafbd8e1419005a057670f1ddf2b5e72a990","datavalue":{"value":"1145.68527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523077$BBD529CD-E6CD-4BCF-A5E8-E2618A554654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c20cb6387a72a945a282bd847a3103a8c5bf7f6","datavalue":{"value":"10.1007/978-3-540-74970-7_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523077$33152DE2-C74F-4F31-8F8C-EB16FC57CDA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde947e2538356854d6aec1be52bb9996382f3d1","datavalue":{"value":{"entity-type":"item","numeric-id":456078,"id":"Q456078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$8531075B-E26F-4F40-955C-E6B85A4A4C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$284C1474-33BF-4421-85EF-AC08C545FC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$8AE6168D-B15A-4F0E-B0A0-D4311691FC70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d10184504a8a81c59a001c44aabc72e7fe376890","datavalue":{"value":{"entity-type":"item","numeric-id":3523053,"id":"Q3523053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$9D88E164-5873-4A13-86AE-2A0160969DDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523077$C47A8F80-2F66-4DF1-AC40-C66B741C04E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523077$2EADC4EC-B125-4444-941F-85911D298FC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4be460d34fc7b735827e14329cb96708818b2b","datavalue":{"value":"5318839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523077$BFC5F43D-B27C-4E9B-B820-B21D75F05F8D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3f2121f918a3a914066394b6efce2b3b32c69e96","datavalue":{"value":"Q56039655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523077$5086EFA1-291C-4D9A-A41C-FD0EABBD302B","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":"Q3523077$F9BE92C2-66AC-4DDF-A0EB-412B5F97C1D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"557cea8f97c692734a282389eb30ee729674981b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74970-7_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523077$0B8597FC-FFE9-4719-B150-8ACC0B33956F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27e6a8199268de3a37fc0a7fc46c4d9b586a3b0c","datavalue":{"value":"W1546943373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523077$850A6227-ADF1-4A7C-8562-467D279EB14A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73de7cb6b00960cc041b156277be01fe58cef586","datavalue":{"value":{"entity-type":"item","numeric-id":5897199,"id":"Q5897199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$9961FA00-F37D-4B7E-9EC8-E921775166D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$17490509-EE30-4659-BAEE-0C77E661D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d28c1dbdf16ee025b2b302833c03273293813","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$F438B21D-B62F-47E3-94EC-CCA5B5A681CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ac3f9f9a816e537d83bd35056a5b61595c7ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3524260,"id":"Q3524260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$9CA68913-3B7D-4805-9559-B8E8CFB1E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e13646a1d8686064c0703b5143cdb7b49ecd3","datavalue":{"value":{"entity-type":"item","numeric-id":4245937,"id":"Q4245937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$46316948-CE0D-4964-93D8-739F3E1E66AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523077$7016684C-EC12-444B-B0A1-68C951539684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb93d0f543cc8289be2a10eacb8bf23f384c7bee","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b44ac4edb300f14c358e7e135ff0ce05f8691e","datavalue":{"value":{"amount":"+0.9622620344161988","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":"Q3523077$11130958-F248-4A39-B302-D250CDB3180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743e46b7d153b5a6ba9e285beebcd9ab3908d32","datavalue":{"value":{"entity-type":"item","numeric-id":3569913,"id":"Q3569913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e34b453c0b84556524129b5803a556407e79fb","datavalue":{"value":{"amount":"+0.8078089356422424","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":"Q3523077$77D62843-5453-49CA-8D3F-E3F2A2A5330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a865b2a6a81b3c7897e399628960ca568f3a0a0","datavalue":{"value":{"entity-type":"item","numeric-id":647477,"id":"Q647477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ce308c376b93e80e63e95a94ab490b90f850dc","datavalue":{"value":{"amount":"+0.797592282295227","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":"Q3523077$952F5715-E89B-4E96-94DE-0950B3CF47DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68eb4e9c24eac82874df8e51bd321a36f071456c","datavalue":{"value":{"entity-type":"item","numeric-id":5277694,"id":"Q5277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf43026cdd03e87b2efcfc16444ffc2932ccf3e0","datavalue":{"value":{"amount":"+0.7639229893684387","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":"Q3523077$FA12801B-0D30-4204-A192-2EA8CA74A916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb196213f5a71abfac34ca1f099a856ab9b2a70","datavalue":{"value":{"entity-type":"item","numeric-id":4591401,"id":"Q4591401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bd07921afa497fae7ae5069673e5933ddab695","datavalue":{"value":{"amount":"+0.7592484354972839","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":"Q3523077$99164E96-B71E-4D92-9640-064BC21456C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523077"}}}}}