{"entities":{"Q6535530":{"pageid":14146673,"ns":120,"title":"Item:Q6535530","lastrevid":57343812,"modified":"2026-03-30T14:05:08Z","type":"item","id":"Q6535530","labels":{"en":{"language":"en","value":"Partial quantifier elimination and property generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787550"}},"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":"Q6535530$DCBEDBAA-D129-4CC6-82A6-17C9CBE26D85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5a313b97efccd1b55f510f9d6dab3b483da2440","datavalue":{"value":{"text":"Partial quantifier elimination and property generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535530$505AF815-A607-42CB-8C2E-9E5DA5F64A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440fed0042871c236bff07dda6c2c9fc85d190a4","datavalue":{"value":"1545.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535530$49095F69-F47E-441A-A9B0-7F3696328FBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abfca9083a2d6ef9085511df79251460c78bd40c","datavalue":{"value":"10.1007/978-3-031-37703-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535530$6015EEDC-2F8B-47F5-A40A-8DD51CF9E6A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$83BC0E66-7108-45DC-BCE7-BE8FDF13DD9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535530$BB22E554-0556-44F9-8109-269DCDE0DFFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535530$A6126970-770E-410B-8B79-99FB2FF02002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535530$19991299-F7A7-4605-9021-5E2FFBC2108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535530$C8ABD66F-4C23-47F9-8D63-B931C62713DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6233cd9d7c87c29b39dc32d369b997ab548fc145","datavalue":{"value":"7787550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535530$5B4A430D-95A8-4C7D-B307-8779941A7E0B","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":"Q6535530$28A40D8A-DEFF-4825-ADBD-95BE31535DA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$C110F1E5-9F82-4323-A23D-1203BD13283B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$07877742-AAE5-44ED-8EBC-B1C06A7A0720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafad624868f7b1aa9c6861c8dc32a780813510e","datavalue":{"value":{"entity-type":"item","numeric-id":2879137,"id":"Q2879137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$32020608-8665-4418-8B5E-0964A8BF2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$B70CF9DF-EA3E-4551-925C-52B0564CBD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$773DD5A6-A337-4ACF-8119-59F636073F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$54A51FD1-AD5B-4AF9-A0FB-2405DE6B05EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$36D359A7-C2E9-4DCB-85AD-8B7ED58A22B0","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":"Q6535530$5EEB44AB-FCCD-443B-93C5-55C10EF05AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd00268cff7ee9962568f35d173374d0e15e55e1","datavalue":{"value":{"entity-type":"item","numeric-id":6154873,"id":"Q6154873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$E02B9F75-01A2-4FA3-9FEB-B66E40C4BF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$36917BAF-483C-4D4C-B59E-65FC91A5C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51d8beaf2db7ee9c2480fa4988bab21cf39b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":4787240,"id":"Q4787240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$EF8C5029-C1CA-4069-BC01-FC7EB5ED63B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3af43ccd72668a9522397c60ddeaaeb74fc078","datavalue":{"value":{"entity-type":"item","numeric-id":3636874,"id":"Q3636874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$98155EF2-78A4-4C5F-8DDD-2E3957EB2AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77beaedc72798d49ca7ed56b4b6fcd6971c86e9e","datavalue":{"value":{"entity-type":"item","numeric-id":479823,"id":"Q479823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$5A2158A3-40F0-4DC7-A1E8-588243A5B63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535530$D0679D6A-ADEC-4463-BFB4-05F9BD7BC53B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1873bcf4baaad4f3ba40b4f3dff2604970e28f","datavalue":{"value":{"entity-type":"item","numeric-id":2879137,"id":"Q2879137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70522e77571d2ed3f366ad8ce108ebf77f8d47ee","datavalue":{"value":{"amount":"+0.7869462966918945","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":"Q6535530$EDAA4B2D-3CBB-4A17-9FD9-07FD70119358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02175fb500ea3d6067b7d28b727bb32abdd3787","datavalue":{"value":{"entity-type":"item","numeric-id":3192073,"id":"Q3192073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3e29d7c827655eaa19bcad001af63f75a3ac85","datavalue":{"value":{"amount":"+0.7174946665763855","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":"Q6535530$5F2157BD-5841-4EF1-9F2F-92D096840424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcdf6c64a75f52c3346e883ec6bc39c4fbcbce","datavalue":{"value":{"entity-type":"item","numeric-id":5175308,"id":"Q5175308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6b67913ad66046c2fc43e7c6dde441306fde3c","datavalue":{"value":{"amount":"+0.7141586542129517","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":"Q6535530$7282BDD3-1E7B-4439-A2BE-6765C5EDB12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9a62b7816a5776a7342063814d676890ec3d6d","datavalue":{"value":{"amount":"+0.6984560489654541","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":"Q6535530$26BE9C45-9493-46DA-A99C-331B401B5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce1fcb06b0c1223160a39dcef1f6b076a95dd86","datavalue":{"value":{"entity-type":"item","numeric-id":4589096,"id":"Q4589096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bffbf987955707cacdf6e4f8c7fb83a64d9c948","datavalue":{"value":{"amount":"+0.6921354532241821","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":"Q6535530$66D33C71-32E6-42C6-869F-F103DDE564BE","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":"Q6535530$56DD3A68-FE49-4582-B997-AF2CC060307D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535530"}}}}}