{"entities":{"Q2234102":{"pageid":2244845,"ns":120,"title":"Item:Q2234102","lastrevid":71634327,"modified":"2026-04-13T23:32:50Z","type":"item","id":"Q2234102","labels":{"en":{"language":"en","value":"Incremental search for conflict and unit instances of quantified formulas with E-matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410654"}},"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":"Q2234102$41F5CEE8-5512-4559-ACFA-2078F2BDA464","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ec2f39fde020822d8073d9f3e4b4f85d6424f38","datavalue":{"value":{"text":"Incremental search for conflict and unit instances of quantified formulas with E-matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234102$9AA03155-66A3-4079-9D53-DA4D3C657244","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"250a4d0e56d16ae21081626c502426c31bf2522a","datavalue":{"value":"1472.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234102$86D52786-211C-4A5E-BDA2-96A49430DACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ba39b78039b44eaf357d8483a99daaff5e22410","datavalue":{"value":"10.1007/978-3-030-67067-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234102$B02F2DF4-526C-47D0-8B65-2708E11ADEBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48954c1a0cd2148a60dfcecb4d54e447f7acb36c","datavalue":{"value":{"entity-type":"item","numeric-id":286736,"id":"Q286736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$2476FEF3-522A-4654-B79C-BE55444C7887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"512ebca09c41ec7b17016e07c10e3f0125e8298b","datavalue":{"value":{"entity-type":"item","numeric-id":779821,"id":"Q779821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$CBB773AA-BE7F-45DE-9EE3-B87173BB4F60","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":"Q2234102$C541FAED-09F2-4F1E-B83C-B205AC7BBA5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234102$1CFAA3AE-5F17-413C-A088-6359FA673D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e7019c00013938aed5718f5abb33698a4150493","datavalue":{"value":"7410654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234102$7A6905E9-85AE-40B9-900D-1BBFB312F8E7","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":"Q2234102$D33BC3A0-0E2B-4D2C-B165-05AAAB3E1E58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1442b75111038d8e9af5bd2f5b693d81abb57af6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234102$8792B9FB-DFE2-46BF-AAB3-DF9F97F0E17E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62e171981483609d80c976b2742c1dabc6ebc161","datavalue":{"value":"W3118899654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234102$89940D08-8D7A-48C0-951E-C90A6BE5549E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db081a6ba37b413fd57cdd13b256d1f5696aed3d","datavalue":{"value":{"entity-type":"item","numeric-id":3303931,"id":"Q3303931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$923BD01A-A0E7-4BB0-BF1A-E38338129B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$15C13021-BCD7-45CA-84A0-CD309352A35C","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":"Q2234102$E675025F-3EEA-4186-88F9-80943597DE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f27245772c2159d3ccf93c502a4163695153f","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$E4E7490E-ADB1-4764-B3B7-C8EBC522A4BE","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":"Q2234102$EDD49BC5-3A8C-487E-8E26-B1192FD848FB","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":"Q2234102$5D0C3FF9-853A-4E28-9435-175172F792B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4556791adacea814a4674e04cb98873fc144d8","datavalue":{"value":{"entity-type":"item","numeric-id":2234102,"id":"Q2234102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$40AF0A64-EBE3-40A2-8969-2358A050A260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$994F74C7-A5A3-4283-B662-ED6B1A6FB321","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":"Q2234102$912AF14D-9234-4DAC-AA4B-98343A591540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234102$148B1124-EEAC-4F62-A394-3F4D0771FB7D","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":"Q2234102$8FDE0FBC-2A93-49B8-90E2-1545E6FB39C9","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":"Q2234102$C1167592-EB33-4303-91ED-D33DC5E8BD1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417c295aa8850bc0aad5c9c16c2a88ff497b9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af7b3f07f3dcefefed873c3cdfb5f2d288a5d3d","datavalue":{"value":{"amount":"+0.746748149394989","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":"Q2234102$6F1612E0-83A5-4D77-8B7E-08FCF9F44258","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":"34261e150b5e47becd14dc7997f635ab524d4622","datavalue":{"value":{"amount":"+0.7366698384284973","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":"Q2234102$D34E5196-0B2F-46D5-92C7-690E0BAEC285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95cf70fb800a3f9dead3268d8e65e9d3739695d6","datavalue":{"value":{"entity-type":"item","numeric-id":1702888,"id":"Q1702888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08023d0cde1878a05ba2b4e6a932efbac8b86526","datavalue":{"value":{"amount":"+0.7247294187545776","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":"Q2234102$38BF22E4-9DFA-49C0-A6BF-B3397E4DD334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb8884efc154f81ccc4f6a29d08b33bb39bbf6b2","datavalue":{"value":{"entity-type":"item","numeric-id":2891467,"id":"Q2891467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f49dfbcf95796f959f2168a072b1307bf1f4e0","datavalue":{"value":{"amount":"+0.7187814116477966","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":"Q2234102$57D6C617-01D4-4E98-9E75-5BA524F8EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9571a717dd39066270983ef36ede35b25022d334","datavalue":{"value":{"entity-type":"item","numeric-id":3636873,"id":"Q3636873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292ece610deeb932ee5774020590fecabb58fac9","datavalue":{"value":{"amount":"+0.7074658274650574","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":"Q2234102$5175770C-BF86-408A-A444-F1BE6FB7E7BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental search for conflict and unit instances of quantified formulas with E-matching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_search_for_conflict_and_unit_instances_of_quantified_formulas_with_E-matching"}}}}}