{"entities":{"Q2233503":{"pageid":2244246,"ns":120,"title":"Item:Q2233503","lastrevid":73842411,"modified":"2026-04-14T17:27:33Z","type":"item","id":"Q2233503","labels":{"en":{"language":"en","value":"Syntax-guided quantifier instantiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410484"}},"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":"Q2233503$3CFED9AA-CF54-4ED4-A5AB-35717DD7CDC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1382046867f4135ce68170210881eb9bf28caedb","datavalue":{"value":{"text":"Syntax-guided quantifier instantiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233503$73B2498E-3FDA-41E4-93BF-AC5DA125B0A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27a27f2334b77fe93f5f6479277f8064110a2614","datavalue":{"value":"1474.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233503$7B6D7E28-0E77-4096-A438-E44CB227378A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"738fddcc74db7fc01bd0dda106ded6185cc5630d","datavalue":{"value":"10.1007/978-3-030-72013-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233503$697A2B80-CFB0-4F08-AA41-6A9561CC9607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$7609230A-E299-46DA-A60C-F273ECD05940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$E6E40214-A0F7-4716-87B6-FDE9E8335484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$B04A7401-C1CF-4736-9C56-B345FC794D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$42F27A8C-D85B-4DD6-94D8-56E70E837FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$EA6C8255-5B76-4666-939B-22A65DE742E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233503$9642CE22-F1EF-4C92-9EAD-689477A265AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233503$A0D929E5-EA15-4EB3-A685-90B1E34EAF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233503$5B1A316C-C727-4CAB-8684-7B61691CBCD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46e6117365feb549df58ccfa46ee62e2a56287fc","datavalue":{"value":"7410484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233503$FE4A93E0-B1D3-4116-A784-B32F72B0433C","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":"Q2233503$B1ABACFC-D750-4CA0-BC77-C55925B074AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccf28025906cfa64ab852a3e61d2f419fce79f56","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72013-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233503$A0F82F80-5A4D-4C96-A149-A9386EBC3A2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bb277dfd2c05194917b88b53a769f8960ce70df","datavalue":{"value":"W3138477645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233503$33D6AEBB-9408-438D-8AA4-020C4A9AE571","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed02573663da68744c881b10967b1f1f843cd08","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$CB15D1F3-F562-42FC-BA84-5C5E513778E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3878a5cb8873ef240e516907eb0d77672150d9e","datavalue":{"value":{"entity-type":"item","numeric-id":549282,"id":"Q549282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$B8D1D3FE-CD30-48C5-B2B4-33C7F80EB9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$C63313DE-747C-4339-8F42-53D95A1CD63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$63E4D6C9-B6C6-4E8D-8899-663CEF51642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$DF9AB578-1CDA-4700-B569-957F737F7F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$F9709C77-743D-46FB-AE74-2B09CD6ABBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$EB9A6813-AA5A-4F3B-B9D1-83C41EDE3B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$56A7EA41-F82C-46A8-8BBF-7C324A9A4A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$2EA94C49-4367-49D9-A956-3DB2F3242C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951b0d64fa001352bd85440b66bf6883d66476f8","datavalue":{"value":{"entity-type":"item","numeric-id":2050109,"id":"Q2050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$F9B72F80-4F79-4FAE-BDCB-DE9A65D45322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$C8F4DB7B-F375-4443-BF2B-D6343D71EAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9773cc9e296251e233b285f6519945481d5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3303898,"id":"Q3303898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$88A44B88-76E8-48DA-B189-E566C22C9717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516924fffc5ccd06ddf357b776bed9baac4d2e69","datavalue":{"value":{"entity-type":"item","numeric-id":2324227,"id":"Q2324227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$790A45DA-CB33-4FA8-B988-BB1BB33ACD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5c69d1d4e1abd2fa1d7921f44dce741c5c0623","datavalue":{"value":{"entity-type":"item","numeric-id":3454092,"id":"Q3454092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$C6BB7505-C0BC-4BB3-9BFC-A3EAEF62CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$0B72CC54-13F8-4F5B-9111-0F4A541562C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3f5b196c0df4a4076dad9269fa5296f4cdaaab","datavalue":{"value":{"entity-type":"item","numeric-id":1688537,"id":"Q1688537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$CF642820-4CDA-4BC7-9532-2513F4E1A955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197bd6d0b9b13f7d7d62b39ca988dbf1f2dfc0db","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$79AFFF8C-78E2-42AE-B3F1-96AB2F5854DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bb4d2c252d1eb3d8da28eeb3b753da471cd740","datavalue":{"value":{"entity-type":"item","numeric-id":1799121,"id":"Q1799121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$D2DA1772-44E9-44FE-AD31-45F3BD31A067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf1fbb097a93619e873e24271fa9638a00cf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233503$1ED4DA1C-144A-45CC-9722-BCC24CF02DCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff2de331bc83ddf4b0fb5cfb40830bbf057100b","datavalue":{"value":{"entity-type":"item","numeric-id":3303898,"id":"Q3303898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc191dcdfe9cbbfc304060df217a344f6075aed","datavalue":{"value":{"amount":"+0.8208919763565063","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":"Q2233503$371A605E-334E-4E40-A3D9-21B7D588EFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04aa5ce427dff84fab6c266219ff983ecb7e975d","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceda7c6ada84a1c5ec770044020052c54e99b6b1","datavalue":{"value":{"amount":"+0.7904064059257507","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":"Q2233503$8302AD9A-8B7A-4875-9A34-3D44595A55AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e779ae0561ea0489484c6f00a93172d30a47d6b8","datavalue":{"value":{"amount":"+0.7783523797988892","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":"Q2233503$CF73F8A7-CE9D-44C9-BB39-8A2F7970F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709211d935c435620f867d257bf161ec3a85cbd6","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227078953b1d62365e51915c8c5fcfc982138491","datavalue":{"value":{"amount":"+0.7781598567962646","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":"Q2233503$C406FCA2-C180-4DA4-8BB9-C3EE515F812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5816828be154e27b78bb617720f4c70a4612775","datavalue":{"value":{"amount":"+0.7652980089187622","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":"Q2233503$937FFCD2-8497-4E47-9DEA-499C2451FC7B","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":"Q2233503$5677E915-095F-4AE8-A773-14A193FEE729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax-guided quantifier instantiation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntax-guided_quantifier_instantiation"}}}}}