{"entities":{"Q5892491":{"pageid":7930403,"ns":120,"title":"Item:Q5892491","lastrevid":58617093,"modified":"2026-04-06T00:53:12Z","type":"item","id":"Q5892491","labels":{"en":{"language":"en","value":"Transfer function synthesis without quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897338"}},"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":"Q5892491$B5C8A18C-DB18-4326-AEC5-507FED50E6C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b9057b8296967126d2450edd61cb64b81f66340","datavalue":{"value":{"text":"Transfer Function Synthesis without Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892491$365A2BDA-BBBE-401E-A5F2-57661960D480","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da8c06aca19adf3dc427798ba9a4ddadf4c99d01","datavalue":{"value":"1326.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892491$07AC5CC3-B7A0-428D-BCB3-F624A12C36B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb227d33f6fc8f58201dfd0750cfa4b6d9d20470","datavalue":{"value":"10.1007/978-3-642-19718-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892491$1DD4DC6A-B51F-4DB7-A7D9-7E08F9227381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c58a9d0595a2d29783d7086cf100e9d03f56337","datavalue":{"value":{"entity-type":"item","numeric-id":479805,"id":"Q479805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$C72C757E-CD06-4917-AB3B-A12C67BE51C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$4852305B-BA68-4B84-86F5-DFA3D6BD0752","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$8D0D3B00-A257-40E2-AF69-D796EB5F7A67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892491$42166285-C60D-4534-87AB-1B67CD03234F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa66e1b9598cc46fc8577743f0c0fd1c0513b63d","datavalue":{"value":"https://arxiv.org/abs/1207.4286","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892491$0D80B9BA-2CDD-40E1-9D87-7BE73C36C96E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892491$5B8C8B9F-4A20-4405-B8A8-91EE03AC8223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eded4e51a68ebb958c5a640ccc5ae61fdde7ce9","datavalue":{"value":"5897338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892491$4BEE7979-1F25-47B2-9254-6E23149049DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa0d89c0a8d281cca595eba1f33ef7e0ef5464ab","datavalue":{"value":{"entity-type":"item","numeric-id":54038,"id":"Q54038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$349D727E-5FBA-4DD7-9B74-FF1D8770CE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$46404AE5-F8CD-45B0-864F-BCD70534ABEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$3C59ADE3-3ADD-4F1B-80B6-EA86CA6566A3","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":"Q5892491$5C2B7D2F-C633-4BDC-86BC-9F951F5A2061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16df85083ecc47946620e4def9484c15a82158a6","datavalue":{"value":"W1483082920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892491$40CDA408-0C75-4A72-A838-0E530F03A1B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c79c3a2c5e0c6d91d5d809ab86bd62267e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":845242,"id":"Q845242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$FD943CC4-680C-4725-B2DA-AB5E8234F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$AA6C0322-0D6B-4363-A8FA-7D327EFAD6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"575371ef2ebe988514751def5c70b72fb6d4f37f","datavalue":{"value":{"entity-type":"item","numeric-id":2814098,"id":"Q2814098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$CE60C663-8E1F-458A-869B-D01F9B975B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c22b89861664cbb2cad30346360d19c7e48d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":4930724,"id":"Q4930724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$67FD7767-0F5D-46F6-99F4-F022E6F824A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$4A1EAF8D-C276-46D2-AF0A-16C62889F814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad026089fb04c0f4f8582f6eea53ec98c478bf49","datavalue":{"value":{"entity-type":"item","numeric-id":5437652,"id":"Q5437652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$356EA24E-BA82-4E10-A065-AF9FBFB39ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$3DD229DE-6EAE-45AE-920F-E984223945EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$A83D9FAF-4DEF-4754-86A7-48C5D1CF32CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9af677e614b80799ce2fac10e1841dcbb8e90c","datavalue":{"value":{"entity-type":"item","numeric-id":1818325,"id":"Q1818325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$66D4343B-8C6B-4D75-85CF-E35D4830502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1588643b46bb7595ed7eb54aa874b8401b35090e","datavalue":{"value":{"entity-type":"item","numeric-id":4729316,"id":"Q4729316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$083C9107-04DD-4A20-A055-B2AECAA1CAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$0FC45F9A-A6AC-48D5-944C-04EB21A091BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$71D883AE-E2F8-4258-9845-9105A0238F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b60e95c705c39da497197d95c6bcba7bf6b8229","datavalue":{"value":{"entity-type":"item","numeric-id":3656884,"id":"Q3656884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$C21BDB5F-B6C3-499A-BB3F-2A2879A82E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$F0A1D5CE-E59B-4BFC-B430-572197984A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$8A657DCA-E761-470A-9EFC-809E5B75C9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32c53b3b8069113dbbcb5f341961b64ca05d21","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$F7CA2B26-8B2D-4504-B3D3-EE4EDDF2B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91a08968cbf34d793a372ad4134ba1188e31e68","datavalue":{"value":{"entity-type":"item","numeric-id":1434074,"id":"Q1434074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$9756F804-E17D-4426-A557-0B43BCBD14B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$9CE1D56C-2E29-4547-89BE-CD12A86947EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$B6C339F5-D116-40C6-9BD5-0CE4C518780E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e703a5cdd223215cbe08f76ea7ecb0dfcc8fe1e0","datavalue":{"value":{"entity-type":"item","numeric-id":3611998,"id":"Q3611998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$C002A625-C7DB-4033-B620-84EDD35A3650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589122fc263bb9a1fd735f4e58159d24892be2f0","datavalue":{"value":{"entity-type":"item","numeric-id":656848,"id":"Q656848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892491$97E1D976-EC9C-4655-912D-99B07601B8D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de2a4120c1b55f896eb0f7b7d30755c37c7a7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5891770,"id":"Q5891770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b0a565ec8790a67b90bc537bb779c1b6f107c6","datavalue":{"value":{"amount":"+0.914762556552887","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":"Q5892491$37952ED7-0899-4297-8EF0-A7AFB1E66F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3be4b9f73a08fbce308787a225688fec2096daa","datavalue":{"value":{"entity-type":"item","numeric-id":4930724,"id":"Q4930724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d552a555d946a4a2c7419d8b118d7d0dad2d951a","datavalue":{"value":{"amount":"+0.7582855224609375","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":"Q5892491$7FF4119D-3E08-45BD-88B2-817223185284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d4104c9c26e48820fc55ea087856379e76faad","datavalue":{"value":{"entity-type":"item","numeric-id":2908521,"id":"Q2908521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08eeea6d8ba45ca0298bb57625e3cb2289a8e03","datavalue":{"value":{"amount":"+0.7420704364776611","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":"Q5892491$EBE7109F-5DD2-46B6-9548-54A242CCA15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3762eca40129e968daa4c0af2068a554a3f53d2","datavalue":{"value":{"amount":"+0.7089425921440125","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":"Q5892491$5FF0DE76-C176-402E-87C4-0FDA78740237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0206a1daf6074bfb9c0358f0c6fbd42c41c514d","datavalue":{"value":{"entity-type":"item","numeric-id":2248069,"id":"Q2248069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6281b7a5e511c5fc7fdb11190fd3fc952bc4c072","datavalue":{"value":{"amount":"+0.7028872966766357","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":"Q5892491$F174F7DB-A96E-426C-955B-98606B5218E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892491"}}}}}