{"entities":{"Q479823":{"pageid":481590,"ns":120,"title":"Item:Q479823","lastrevid":62146740,"modified":"2026-04-11T04:05:08Z","type":"item","id":"Q479823","labels":{"en":{"language":"en","value":"Quantifier elimination by dependency sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377620"}},"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":"Q479823$BBA2B541-57EE-43F8-9E82-DD81A7AEB21B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b34db3c4e2fe22be5a1981e58a2d77fa3bda8fb2","datavalue":{"value":{"text":"Quantifier elimination by dependency sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479823$96EBA204-6F5F-487C-86FB-17D1A79FC356","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d8176fef533b9aa659efb7af6662f3db74b6d04","datavalue":{"value":"1311.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$63B904B4-C982-456D-9192-219E466793DA","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":"Q479823$78D7C2CC-1C17-472A-9D64-9166A1A3D3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$4389EFC2-9706-44C7-BFBF-C02AAAA7D9B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$B154AD97-72E5-4C70-BAAA-84CBD186742D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479823$28F453DD-9A20-4327-84FD-B11C71D483FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8274d28b12f134dbbd5c3f2ce7fef29b51264453","datavalue":{"value":"https://arxiv.org/abs/1201.5653","type":"string"},"datatype":"url"},"type":"statement","id":"Q479823$36A2A690-F80C-4F67-8173-323EBA0DB50E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$9331B44C-5479-42DF-A758-55B15DAD76B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$EB8AF1D0-FF12-4709-81F9-D50A6E858CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$C1540D89-E179-49D3-ACE4-AEBE0CA52FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee9497912c42b47bc405869a21550b04b10e21c","datavalue":{"value":"6377620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$F1D2CC6C-D794-42A4-96CA-253650C0DC03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q479823$0ED21D7F-CE9F-4D11-977A-2320DA5E61EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q479823$054A2AFF-75A9-4D28-9537-FA6CE0031676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q479823$9EBF8AC6-8EC5-4192-88F9-9C3E3DB737F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q479823$75E6FD32-80E4-4F50-9A00-20036F1A3666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef21762bdb2fe85daf6ca82cde3974547cad4004","datavalue":{"value":"dependency sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q479823$B58D8DDC-4036-4532-8000-6DD036E6744B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$CCB24805-6EEE-4D08-BFB6-C202B9D7C05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$0D33AD6D-6CFC-47A0-8316-44B9915332B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$DDE36F3D-7701-492B-A0A9-50043BEBD54E","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":"Q479823$1706C606-A24B-4208-87C0-C68F6A957235","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95fc22942b05a8c42d041da37088ff2cfe108468","datavalue":{"value":"W2065384342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$E32D8FCF-DE10-4CA3-ACAE-42FD34156547","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140707a542a9d45a6f78619413d8c06c89d7576f","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$F06638BC-5993-4C77-970A-CB6EE9574281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77025c29d5290494072647e90cfd5b7ac95c54f8","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$653987D4-6EF7-4D8A-8172-5D934A006C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$AEEB00B4-D953-42DB-9040-15F99AABA2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$EE4B34E4-02DC-4858-B98A-4893950B3461","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":"Q479823$E45F4DA4-240E-4904-8350-17DE818B971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$9D55541F-F7DA-4E14-882A-CC42FD5A3C0A","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":"Q479823$F129339D-3083-4C94-A7E6-3DB7E8C9F8FF","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":"Q479823$BFEEB106-BCDE-4507-8F2B-EB05B955879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$336A2617-E96A-4007-8A76-2EF899BA6C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$E79DCA96-33AB-4173-A154-372DEC6433DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$520621F8-456B-4652-B155-ADC3FF5D7DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$6A889D5C-7748-40A7-A0B3-0DC839A409F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2109ef03beb17d211e8f954480a510e43402bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3637164,"id":"Q3637164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$7F0BCD6F-F65D-46B9-A686-9D02C6B44921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa40a4d5e0b6afcabeddf4f33afe202e295a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5391525,"id":"Q5391525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$DD2F662E-3835-40B8-AA2B-B2F4E8C6B25F","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":"Q479823$09FEF48E-32F5-4F6F-BD65-60701FB48CC1","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":"Q479823$13732558-5A9A-414D-B1EE-4C435789A296","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":"Q479823$90D7790C-68CA-45DE-9A10-BB1F973F41D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$30AD55D4-8597-4F56-8FEA-11EEA2E965CA","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":"Q479823$3D61196F-F3EF-43FB-B635-D796512ACD19","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":"Q479823$A72AFF56-140B-49FC-ADB8-04FC5137BA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b72e7b35baceb234e36ee61828e5b4764f63a26","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$B19CCD27-6278-4FC4-B918-C8E980B139AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72495679ab5a4102c0a1e1c6d43818dd0e9dbf59","datavalue":{"value":{"entity-type":"item","numeric-id":2754079,"id":"Q2754079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479823$683004BC-416A-4D89-9A5B-96D572AFAB6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"787d679235f57f44837d062b0f23b0df22b2fcb9","datavalue":{"value":"10.1007/S10703-014-0214-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479823$415CD18B-18D9-49CA-9029-6D3D380184F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372f0df45761453229a88765f6f45e0f17236390","datavalue":{"value":{"entity-type":"item","numeric-id":3636874,"id":"Q3636874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fc4b9c8efd5979a3899a00511ffdca631c6d70","datavalue":{"value":{"amount":"+0.8021417260169983","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":"Q479823$A0F789A4-1EAE-4D6A-A86E-12431DA4BC65","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":"b83e50f91f8d01ddeab665e442ac663ce1647c62","datavalue":{"value":{"amount":"+0.7943559288978577","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":"Q479823$1F29FA18-7A64-4EC0-AF75-2819FFD37430","rank":"normal"},{"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":"fd6b55146029ca49f5e93289c3c0bc1a8fd62754","datavalue":{"value":{"amount":"+0.7933797836303711","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":"Q479823$8C70E11D-27DC-44CD-B675-77C3F6BD253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7876153ad44836abc6979c574a22515a1ca79072","datavalue":{"value":{"amount":"+0.7686102390289307","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":"Q479823$4AD31D3D-4DDC-4EBA-8405-ED5B69C70A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fbf79c7cef7b43d8c2871e490a5b7d3d7beafa","datavalue":{"value":{"entity-type":"item","numeric-id":5170277,"id":"Q5170277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e20054b224f4adc58a11031b4bd470feffffdf9","datavalue":{"value":{"amount":"+0.7624161839485168","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":"Q479823$B79114C3-9203-4511-9FF0-ED5C686CA0F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination by dependency sequents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_by_dependency_sequents"}}}}}