{"entities":{"Q2342601":{"pageid":2353344,"ns":120,"title":"Item:Q2342601","lastrevid":72558636,"modified":"2026-04-14T05:44:05Z","type":"item","id":"Q2342601","labels":{"en":{"language":"en","value":"Symmetries, almost symmetries, and lazy clause generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431924"}},"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":"Q2342601$AF12E88C-682E-467E-B9FD-D1E301D56069","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0dbe35580e26f02c14bde76d10b1263b960bdc8","datavalue":{"value":{"text":"Symmetries, almost symmetries, and lazy clause generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2342601$9D42F052-EBA4-4848-8B31-D7C1C25953AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7612b62f7d11679e5ebb89fd9e693764fbb7295","datavalue":{"value":"1316.90045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342601$4DEFE662-6C8C-4E96-A1CD-067657B5D282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df50ca75f2959199b89c9827263384851d48d1d1","datavalue":{"value":{"entity-type":"item","numeric-id":453590,"id":"Q453590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$950B5D8A-3DE5-4A0C-ADAB-AC7B9CF153C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f9639a440131e65e92aaff3f0fdd25f553e2f5","datavalue":{"value":{"entity-type":"item","numeric-id":265704,"id":"Q265704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$689CCD1F-EED2-4BAF-B0A2-797352AEE06D","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":"Q2342601$50FE947C-E18B-47FB-B7D6-5DA56C841033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1964be5c8ceef4b9238150c92361a03509499c04","datavalue":{"value":{"entity-type":"item","numeric-id":265706,"id":"Q265706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$E1AA1CF6-4999-4440-A6FE-79B6FC132E21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$108ED29C-71A3-4133-B45F-BEA3FE3E9454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2342601$13380BAD-A631-40F1-B970-201996885E7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99280e66649d1318a7cd5d2eb109a1dd8ee140ce","datavalue":{"value":"http://hdl.handle.net/11343/282666","type":"string"},"datatype":"url"},"type":"statement","id":"Q2342601$878B14BC-B6D8-4AAD-930B-5E87C0FF908A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342601$6A4AB8C2-A65C-4ED3-A2A6-5C0941268390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a28504e4801bedeb6cc98a2f7ad99f2c11728e74","datavalue":{"value":"6431924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342601$589DA700-437C-45B8-B14F-69320F2A2ED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342601$A97D761C-5CE2-4018-BA3D-0BE266895443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c150cf288029017b5d8681179c311205c5b8bb0b","datavalue":{"value":"almost symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342601$32E8569F-FE41-4C12-B513-7D529FD012FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e250aa14265a322a451bc1c369cb9ed70f0b3df","datavalue":{"value":"lazy clause generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342601$20DF2F80-FA34-4479-AB80-962153417FF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$7445C03B-6ACC-4BD9-BC8D-131023350D36","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":"Q2342601$D244F7EE-73C8-42F2-9488-3C365A89C697","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":"Q2342601$603AA14F-450F-4D00-8163-4C69BC3F547D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49bd2b32c92078e85aeb0cf9d1520c84d0396c56","datavalue":{"value":"W2087983512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342601$9F5C0BD9-4F15-4C04-928A-9FD9E35E57AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e114305a751d9865c955951c5e4ff014669e4ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4495106,"id":"Q4495106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$8CD329AA-2D40-4151-B0E4-1B05EF2E9B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b328b6cd2a0e98a5c19a5d467ec2d0b99c8fec3e","datavalue":{"value":{"entity-type":"item","numeric-id":1037637,"id":"Q1037637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$38EB369D-08D6-40BB-BE6E-FFCAA6878250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db50e20e596d591e93bd7f130874af59f517fb73","datavalue":{"value":{"entity-type":"item","numeric-id":2342601,"id":"Q2342601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$1070007A-E696-4A61-A8BE-5FE6467EF944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c326665a5541918a0d48d6bf89bef90ec7c8c585","datavalue":{"value":{"entity-type":"item","numeric-id":850464,"id":"Q850464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$F76B37D5-DC39-44E1-8041-B88C184F87EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef58051d9ecc9d11070293de11cadd15c1466a4","datavalue":{"value":{"entity-type":"item","numeric-id":5941314,"id":"Q5941314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$7EA3DB1E-D9FC-432C-8CE3-6B386D78E29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae11ede7d3f046437167144cb37c388473823b8","datavalue":{"value":{"entity-type":"item","numeric-id":4475624,"id":"Q4475624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$0FB44465-76C1-4047-8BB7-A0DCEFD9DDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149de6cdbd9086a3c48da662d02e45ecb17b97f0","datavalue":{"value":{"entity-type":"item","numeric-id":4424851,"id":"Q4424851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$6BE6A7A6-5277-4AB5-930F-BE1D7F0CF8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260e7182f45729b6a463aa06aaf59ef66d1ddb1b","datavalue":{"value":{"entity-type":"item","numeric-id":5435012,"id":"Q5435012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$B46CD38A-311F-423C-9160-54271EA604BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b01dc5d7e56ea27423f1ae96b47021f993a123f","datavalue":{"value":{"entity-type":"item","numeric-id":3524179,"id":"Q3524179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$36C93B21-5924-4E31-9C89-98A1F7003472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$99C3E219-BED6-4D1C-BEC8-E64C8E3235AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a20755764c6f4965c2ab242da6ede28fbeacc927","datavalue":{"value":{"entity-type":"item","numeric-id":3523071,"id":"Q3523071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$148CE807-5974-4ADC-8286-2351251E6395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329b505757a6baa587bfbccec34cc2cea43a0b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5899115,"id":"Q5899115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$06869658-50E7-444A-8F22-B0D25CC69171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518b9b2eed57720772009ee4bc5a95f598022355","datavalue":{"value":{"entity-type":"item","numeric-id":5387629,"id":"Q5387629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$1D806535-FDDB-4702-9D2E-76D4044E1AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa297a0182d0184268d82198e0c7c53f04ef8864","datavalue":{"value":{"entity-type":"item","numeric-id":3523077,"id":"Q3523077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$594C95DD-AC79-4162-B293-7D2C9E1FAFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbec2f6cfe40cf2409f2d969234bfa51a8f45f9a","datavalue":{"value":{"entity-type":"item","numeric-id":5897217,"id":"Q5897217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342601$90F7B457-479C-445D-BAC5-98F73A25DE16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22af269ceced5bb19c7b2fddeae709b2544c4523","datavalue":{"value":"10.1007/S10601-014-9163-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342601$8B876001-59B5-4006-A036-C4BAE3B47BF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdea2b916f6c5d5fe1d620b910ba0fd975d6883","datavalue":{"value":{"entity-type":"item","numeric-id":2342593,"id":"Q2342593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b720d9685cf8e46b3336762a1f3ce8bbfd7e747","datavalue":{"value":{"amount":"+0.7641050219535828","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":"Q2342601$23754A61-D9FF-4CC5-B446-0A8A128D2625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b043a26658861fb9da2e2687751ba68eb339eac","datavalue":{"value":{"entity-type":"item","numeric-id":1774518,"id":"Q1774518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e37a3f9ab3a51dfd30bebfccb65e86934954f89","datavalue":{"value":{"amount":"+0.7637696266174316","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":"Q2342601$C796F0C9-A684-4821-929E-8FC1599B35F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe76b8b699f3b2c89931a73d1980bb71ac38209","datavalue":{"value":{"entity-type":"item","numeric-id":5703914,"id":"Q5703914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c0e0ed22db410ad9bf8c81b270f859a990da86","datavalue":{"value":{"amount":"+0.7543103694915771","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":"Q2342601$1B93DC02-8875-403E-9600-A4BF963E6513","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":"45dccc14ac0b454b69659f9bd7908ce360c05a25","datavalue":{"value":{"amount":"+0.7541103363037109","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":"Q2342601$AAB778DF-DB38-4F30-8768-1A01FBB7B735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874b0353c0bcf9250f95c2e45ab7d40832f003b7","datavalue":{"value":{"entity-type":"item","numeric-id":2999220,"id":"Q2999220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fad1d01deed027f8af2f66abed97d578c926583","datavalue":{"value":{"amount":"+0.74822998046875","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":"Q2342601$9E47E65D-9040-453E-9941-03B9CA61275F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetries, almost symmetries, and lazy clause generation","badges":[]}}}}}