{"entities":{"Q6535571":{"pageid":14146714,"ns":120,"title":"Item:Q6535571","lastrevid":57576027,"modified":"2026-03-31T11:26:15Z","type":"item","id":"Q6535571","labels":{"en":{"language":"en","value":"Inferring invariants with quantifier alternations: taming the search space explosion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793103"}},"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":"Q6535571$0DC2033F-182C-43C7-BD00-FBC13BC87453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f10c687a4b24bbeb5558ed96fa4fc0a041296eab","datavalue":{"value":{"text":"Inferring invariants with quantifier alternations: taming the search space explosion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535571$89ECB28E-7463-4990-936B-97934D8C34AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7123ca23cd53dfc8fda2a999dc8d28d1e6d67abd","datavalue":{"value":"1547.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535571$B34ACB40-AAC4-40E7-8B95-D6627F4C3C47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08b3ad454f0061866f17ff7351a00f74a218e5c3","datavalue":{"value":"10.1007/978-3-030-99524-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535571$B9CC5DC2-3022-479B-AE90-8B3E9681BEB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f5b87fddc6734f8c10e6f290a9769a1ed21744","datavalue":{"value":{"entity-type":"item","numeric-id":6535570,"id":"Q6535570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$0F0A4228-85D1-4F81-9403-EB20E00FEA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af28c01640955d451ab13d8ae854a3ea0fd656ad","datavalue":{"value":{"entity-type":"item","numeric-id":2044195,"id":"Q2044195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$48C467B7-437E-49A1-BDB8-1CB16B149CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$C2BCF889-8C1B-47B2-99F1-70D7F074B6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$57C4AB9F-2097-4031-B977-5A5A76BF75FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535571$017E3F3D-1CBB-4F89-B347-3006F5AC9FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535571$289A80BB-ED39-46D8-8F6A-68758D99B4D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5daf5e610f93169cf89b9ed595ec68135ac0db9","datavalue":{"value":"7793103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535571$5CB0A4BC-136B-4A89-8D3A-0ADC47A538AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b3d4a9a05b13366baf4389e80191c73fa1abc2d","datavalue":{"value":"invariant inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535571$549503AE-77B7-4CD8-A8F8-C5F7F7D8FF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e138a1670dd04bbc9b0b004a6a70f93eb7587498","datavalue":{"value":"quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535571$3C4B4CAC-4BDE-484E-A544-5B9500E0E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e0e3a3dbec22368442c5ab4491479482ff3cee","datavalue":{"value":"PDR/IC3","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535571$05F0CDF7-50F4-4A98-BBA2-DF28729C288D","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":"Q6535571$7C2DEA59-DAEC-4B62-9E0C-A1120351F03D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece5a7219afdde4c10caada730f4efdb72bf804b","datavalue":{"value":{"entity-type":"item","numeric-id":6154883,"id":"Q6154883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$ED2B61D3-364C-4F7B-9165-3AD9DE26317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$246A4858-95E5-4B41-A6AD-B2F941ADCC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e07bf0cdbe35003eaaf8e3d497ff9f1ce6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$3C719798-DC17-46B5-B038-939F06A7DC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94cc1fe1c12ea2047d264ece3fe22a6bd2f3760","datavalue":{"value":{"entity-type":"item","numeric-id":3303891,"id":"Q3303891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$FD51E144-D7FF-4C87-9599-632B25F2AE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13a38b87f3b20c7063408a10453103a3d61a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$BC6AF148-DF91-45FA-97D5-2863A579A742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae62440ba09a5515f96d76031ee20227177ebde","datavalue":{"value":{"entity-type":"item","numeric-id":6194958,"id":"Q6194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$80F75D03-68FC-4EC2-B727-04377BF6361C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51bbb96625374ba0527eef6fa500f596e78094","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$09A6D0CB-1D0F-4256-BAA4-9FFAB3E1A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$A666E1D4-60FF-4C1D-A836-E5B6B64A36A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f87447fd9e48200c94082f5c54390365be14594","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$D7A05D15-83DD-4E53-8AA9-E634AC866AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$27234A16-3E4E-4BAD-86C5-56574F298124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c36a33f99dd120f8ee638e971c8b19f681cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2226726,"id":"Q2226726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$76025B46-1530-45E2-A751-8142487CB0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3877cdb2f9270055770a3dc76639db953ccfc890","datavalue":{"value":{"entity-type":"item","numeric-id":2234081,"id":"Q2234081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$C7D2AC9C-30D0-4762-89D5-CE6453BEB804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8f260fd49fd4f3e2ebbe1b9a2520cbae1bcb8a","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25060a4c530228e4474679a2d9713847b62cdfb6","datavalue":{"value":{"amount":"+0.7157262563705444","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":"Q6535571$D4CAC53F-A5FB-435E-84A7-7ABA52296696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016a68b751c067bd865acf1cee368f9c6a7bb8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78b05987fa3323f3c4848e2dee2c7be344ac830","datavalue":{"value":{"amount":"+0.7128192186355591","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":"Q6535571$F3004569-C396-4EA7-8BE1-EF635335181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885946cd8e9f957dd1df11b767542d1bfbee392d","datavalue":{"value":{"entity-type":"item","numeric-id":3303891,"id":"Q3303891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f032ca6c0186ae77ef0c6937506a54209e585e","datavalue":{"value":{"amount":"+0.712602972984314","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":"Q6535571$BDE46B4E-2E2C-4DE4-8B20-636785BAAEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f5185cc790a15e02721fd0da0e503f46206e","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24961f3ce653c9e6707561b099ea63fc885f1489","datavalue":{"value":{"amount":"+0.7056422829627991","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":"Q6535571$62CF58E6-FAA8-4FDD-A690-2BCFBC7EC676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84befa268de10235a1bff93ee7556136f5b306aa","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d1e0f2b33c1bd0e3e39c954e2321b160a909ba","datavalue":{"value":{"amount":"+0.7056235074996948","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":"Q6535571$94E6D6F8-F229-4656-8322-F869292C3A88","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535571$911BE41E-1F6D-4387-9EC5-A2B390233CD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535571"}}}}}