{"entities":{"Q6869933":{"pageid":20716189,"ns":120,"title":"Item:Q6869933","lastrevid":84234149,"modified":"2026-05-14T00:23:04Z","type":"item","id":"Q6869933","labels":{"en":{"language":"en","value":"Relatively complete and efficient partial quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149367"}},"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":"Q6869933$28629917-E81B-4A18-993A-05B8BCA21093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c65a7c79712d4c51c3d3a15421989cbfbcc0e626","datavalue":{"value":{"text":"Relatively complete and efficient partial quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869933$5C59B6D7-F852-422A-8524-8F27C18377DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd4f3a068453aae1fd795496c8b9a19966c1e7dd","datavalue":{"value":"10.1007/978-3-031-99984-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869933$60473C53-69D7-45EE-A4C3-EE5BF053669F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1655c433061a6881fc97714c4cc706b5b8c987d","datavalue":{"value":{"entity-type":"item","numeric-id":6869932,"id":"Q6869932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$0FCBA830-7626-41AD-BF1D-C71BDCCE567C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$10D2D013-3DCB-4BF7-B37B-167BE35B1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$69E15385-E626-4000-ABC1-FAE25E9A4A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869933$846AC2DB-4EA9-4411-A094-D08667FBFBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869933$409B2317-C241-4173-AA40-ED2D1B275E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869933$6B33FD99-5726-4882-B96B-B1E155F9F7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869933$3760F6F8-FFE4-41EC-8DA1-E630B44949BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b58679bea8a88f059bf8fca3a2fb8279e06f2722","datavalue":{"value":"8149367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869933$2A62A2AC-70A9-4A34-8402-2420AE235ED5","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":"Q6869933$4EE7C5E5-00AD-4738-A103-3F6B9C01599C","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":"Q6869933$D9614555-BDF9-4E51-A938-ADF9B18A71C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$50070981-BA16-48BD-B2F0-3102D1009CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$B500DF47-FD59-4EA0-BE03-3341734F6BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$0EE70FDC-4630-4B10-B20D-DF4072927547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8209e2641ba17dd4f4c7ce79db79a957c2e8bd37","datavalue":{"value":{"entity-type":"item","numeric-id":6535528,"id":"Q6535528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$724954BE-E757-4C3D-9168-FFAD57FBDCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$20A07490-F25F-45D1-938E-A4B1008919A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a791bafa87b64c7841ed72d1adb7056b01fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5738964,"id":"Q5738964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$C31B1B74-E699-4D4C-A46F-3E245561B370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96d29641db54357b69979590b290d4618de7ffc","datavalue":{"value":{"entity-type":"item","numeric-id":6875036,"id":"Q6875036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$3FA3F64D-D383-47BB-A2D0-9F9B07B83498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$73FFDB4D-D631-43F7-9A32-E4424278DB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$C062FA15-2A0F-41A3-8FAF-5FC87E494475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$23495FB4-2D5C-44B3-B1A3-F88A58CE242B","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":"Q6869933$8BC73BF6-DDB3-478F-8B1D-53E6E387222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$153F08D7-B8F8-46A2-89E9-CD2E483DF8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$CE0BC67F-6D04-4D8D-93D4-EF409519997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869933$BDE64D98-529D-4027-884A-F59A82D4B655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relatively complete and efficient partial quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relatively_complete_and_efficient_partial_quantifier_elimination"}}}}}