{"entities":{"Q831921":{"pageid":833769,"ns":120,"title":"Item:Q831921","lastrevid":64783689,"modified":"2026-04-11T22:11:59Z","type":"item","id":"Q831921","labels":{"en":{"language":"en","value":"Symbol elimination and applications to parametric entailment problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497915"}},"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":"Q831921$AAD2F663-DCA4-47DA-B2C8-97FB5CDCBA49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0374f4f6a97ed954ca9445b650f390226b3d0a2","datavalue":{"value":{"text":"Symbol elimination and applications to parametric entailment problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831921$3B06EB95-756C-48F7-B4E1-5E16593375A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e0b31dc2b812753b93518235288ca30f8bf479e","datavalue":{"value":"10.1007/978-3-030-86205-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831921$BAF676FC-25AE-4429-8608-7B325F18ACEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5cfc4965408f1c62161336c4f90dd4a15c67e5e","datavalue":{"value":{"entity-type":"item","numeric-id":831920,"id":"Q831920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$719F25DA-C6D8-44CF-A75F-E4CBFA0562CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$6694113C-828D-4DE5-8D8C-BC8D14A4F0B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831921$4B5FDE3D-C59B-4142-8C4D-9E4BDAA172B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831921$7909E0F1-3136-4C77-89CE-CC86641FE266","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f99ebe5870bf125cad33a0fdbb83c1c8c70475f","datavalue":{"value":"7497915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831921$BF74B162-E9F5-4A4E-8842-05983EA1199D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$E6692ACD-CD99-48B0-96B8-8F761B0E90FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$C5A81F3A-6AB8-4E84-B86F-3E9051ED8528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7fa65e262825f4fea3653dcc59f09ef0e691738","datavalue":{"value":{"entity-type":"item","numeric-id":35078,"id":"Q35078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$99972C32-90C9-406D-8D7D-C298410B3D5E","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":"Q831921$3E70BC3B-F492-49C2-9B0A-366D0B68A67B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"403b7e2684429d7d771ffc948ffe07493cc94d62","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86205-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q831921$4BCF2D73-478D-4F24-86C1-72F387C3DBA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"848a82dc7a050639909513cb2dec15c19a8a0b18","datavalue":{"value":"W3198882140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831921$3656D968-9AB1-45F3-B3F9-7EC1E8E7A595","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7923db27a69df68433e19bcb135bba72260e5","datavalue":{"value":{"entity-type":"item","numeric-id":1840069,"id":"Q1840069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$0A4490B0-E9C4-4EFD-B6D6-E2A570979274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243614af085c43d871fcaf7aacd46998277a2402","datavalue":{"value":{"entity-type":"item","numeric-id":1840347,"id":"Q1840347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$C20AF581-2A63-4A09-A037-3B1A5E60F326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5798a9788731d78777ff3a4927d3be458dec8","datavalue":{"value":{"entity-type":"item","numeric-id":2849479,"id":"Q2849479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$7CFCA3E9-9C3E-4D9C-AB0E-0BF7A1C75C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$06E7FB9E-687C-4599-A860-8A011B4BD041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df9e36bc833a6259fe4525e20648c4deed4f643","datavalue":{"value":{"entity-type":"item","numeric-id":4928427,"id":"Q4928427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$2F0C03BC-8078-41AD-BFBA-685EFEBF77B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b865cd62cbd78d165825353014794ad3e405d59","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$57D5B2EA-5493-4345-8391-F339BA8A77CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$FA2F6FA9-18C3-4E85-8615-C3A6C55BF2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9012907f84af0c2e4e7211522c1d46661d671839","datavalue":{"value":{"entity-type":"item","numeric-id":2891451,"id":"Q2891451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$3DC29556-A60E-4130-9A82-58769F6FF83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$1D18DF4E-791C-4502-B221-5A66268F0054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$3E254D63-7033-440D-8D79-32B314DA3D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d51dc77936fcfb4098ad7c52cc8a1349833447","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$5F89C4AD-8A35-476A-AEA4-53ABD67019A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$0605AEA1-058C-4BA4-9D13-A10450729633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bf1dd09db8daee67a377ca7810972ba9faf377","datavalue":{"value":{"entity-type":"item","numeric-id":2849490,"id":"Q2849490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$7C42E6AA-55AD-46D4-A48D-62572C57D134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdea20f0ecf5087c600f512aee1730823ee616df","datavalue":{"value":{"entity-type":"item","numeric-id":3192190,"id":"Q3192190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$ECEE00BB-ED5B-45F3-9231-5C7AE491A12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fceabd4402e3c07f0c07020eeb67d1bf46f34da2","datavalue":{"value":{"entity-type":"item","numeric-id":3644758,"id":"Q3644758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$90BF678E-6173-4797-8F16-1318452EE4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$AFA42EB3-37EF-4240-B854-1E62BAE872E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1d0ff00032a66dc3cc178cd9f7faf31d9c1e31","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$E23FECDD-54D4-424F-B8AC-3D69B5691C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8914056a012fcf0bb24ac61a3922b358208186e","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$BFEB4E75-E2B8-40D3-AB30-F36E6E22BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130ffd6f16e7deb4d19f53293e443a63ced9507a","datavalue":{"value":{"entity-type":"item","numeric-id":3503653,"id":"Q3503653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$9C1BE881-E775-4C20-B73F-077CF146E7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a4d21f9c10003cdb38349b5ebb6aa4815e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$9F086D73-C4A4-4D14-9A61-89EA7D6F44B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$D182A3AC-2E30-4EFD-83EE-F334D49C5C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7002ae8b0a3459f423ca41f1d864b679d71a3053","datavalue":{"value":{"entity-type":"item","numeric-id":2305429,"id":"Q2305429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831921$3A4F3A50-B441-48B5-A298-79BE49A47FA6","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":"Q831921$C06CC46B-E834-4857-84D7-562476549CB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1134b44baeb6fa5c7704829325200e2cf071f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3451208,"id":"Q3451208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede10f216d01ef8b30c6ea90693f5b11e32536ee","datavalue":{"value":{"amount":"+0.8607118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$6F512830-9AB3-488A-A66F-7F42B5B0ACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2c27b866c64106ebb747e16239719586a16d3d","datavalue":{"value":{"entity-type":"item","numeric-id":4684358,"id":"Q4684358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede10f216d01ef8b30c6ea90693f5b11e32536ee","datavalue":{"value":{"amount":"+0.8607118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$1E01D0F7-F045-4A04-9F88-E15E4CED0C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469482f8c1442593e77f539320e4f40dc3c266e9","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc9cd798a59e186f40d30d634346a57ffd6a7f5","datavalue":{"value":{"amount":"+0.85421145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$F53CF9FB-4484-448E-8CDD-D554091276F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9c9180bb6980da2cf2ece688dff3fa5936bfcb","datavalue":{"value":{"entity-type":"item","numeric-id":4329203,"id":"Q4329203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b3a54275e0ff1657a868d6e3628ed25cddb205","datavalue":{"value":{"amount":"+0.8536771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$41B65706-BAFB-473E-875E-774F47EC87A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea51aa8b46322a71b92d5ca9d2d83318cb366e11","datavalue":{"value":{"entity-type":"item","numeric-id":1694478,"id":"Q1694478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddbd66017a0c7454372568a8195c05b06eb265d","datavalue":{"value":{"amount":"+0.84975433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$84DD9D74-91F9-4EC1-B0C5-6E9177592036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf911b71949eafae6decabb2885c74f7347b3577","datavalue":{"value":{"entity-type":"item","numeric-id":5096830,"id":"Q5096830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcaf1e0b1ada932aae6d01e4a1f90363c11c251","datavalue":{"value":{"amount":"+0.847333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$4CB614E5-8550-4641-B1A7-0044D2D8B744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9784f94fba0d98e2bace4542a51122b76fec15","datavalue":{"value":{"entity-type":"item","numeric-id":3778728,"id":"Q3778728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0de730d2a781d0c81a5988e7c34f739c7516261","datavalue":{"value":{"amount":"+0.8416937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831921$0B24070F-4844-4DF1-8A5F-2EB0CD831E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbol elimination and applications to parametric entailment problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbol_elimination_and_applications_to_parametric_entailment_problems"}}}}}