{"entities":{"Q5505501":{"pageid":7535061,"ns":120,"title":"Item:Q5505501","lastrevid":50550266,"modified":"2026-01-14T09:03:57Z","type":"item","id":"Q5505501","labels":{"en":{"language":"en","value":"MetiTarski: An Automatic Prover for the Elementary Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498228"}},"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":"Q5505501$42D716AE-7C7C-4393-B35B-ACC62B51769A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"784f00b4891c8f321144e9b097927fb3de549dee","datavalue":{"value":{"text":"MetiTarski: An Automatic Prover for the Elementary Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505501$4F483933-1F25-41D5-951F-4A0BE870ECC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c720fe9e461e10705baf904895b01935e76a21a1","datavalue":{"value":"1166.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$6B9514E0-71FD-4E96-B9E4-51AEE912A1A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc5d48a191a40a00f3a94b08aa4b0080e1cde650","datavalue":{"value":"10.1007/978-3-540-85110-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$EC7FBB82-6BEA-47CF-BE3E-EC74106988B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f342eecf82498f188d10dbef140d1137265c48e","datavalue":{"value":{"entity-type":"item","numeric-id":816217,"id":"Q816217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$FF8CF7CD-2279-415C-B30F-D49CAC430141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$14CF43D8-BA50-422C-A55D-FD311A7D575C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$2DFAD67C-34DA-4A5B-B3D9-4C357CD714CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505501$4A362462-29A3-44FA-BFD7-2008E0936016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$2E4B587D-43D5-4144-9176-06CC9E950223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c184c8ae08b40aab05ec7a6290a9fdfe2a322f","datavalue":{"value":"5498228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$908A8703-20AC-4D72-AFAD-476B1DED74D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$B52F5C8D-A588-411A-8F00-F92F60393BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$4F9D38F2-CEC3-4E55-B94C-2FE971F399B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$98256B6B-1E48-4053-82F8-DA63AB1FC36E","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":"Q5505501$C6CE1DD0-8DE2-4648-8806-68757F27A4A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc3f2d6e92bbc2d99619a707673dbd854b9265ac","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505501$56DF4A28-7D8E-46FA-B90F-ADAE34E7279E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"194926223585228fd2a1dd6084076cf6f4bd9b7a","datavalue":{"value":"W2164887032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$60B6401C-603F-4EA8-A8F2-33BB7C4B4754","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c44f6946c62d4ea8fe4ddd132c0e74c4dab7bb12","datavalue":{"value":"Q57382626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$3800EFB0-3020-4AD7-98A9-DD33D0DF47CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7be2d05c20413feb6443e1b1af122bfdc77cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3498456,"id":"Q3498456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$F05962F7-78D5-4E82-AB44-3F78F63529F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$6A974F99-2459-4D5C-AB18-7DEEB779EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9246a891b5d36ce51ed599b16ca1ffb87244abc3","datavalue":{"value":{"entity-type":"item","numeric-id":5950931,"id":"Q5950931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$021A3BE7-71E7-4369-A166-5C5ABFD096B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$26770136-AB58-4ECA-BEDA-E4C6DADD3C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcea6de3066ccd18a083b803f11b6d49c87be1d","datavalue":{"value":{"entity-type":"item","numeric-id":4265267,"id":"Q4265267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$3A699345-06FB-47D7-A8FD-51F89FC99F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$B8859E88-4825-400E-8704-383CBB25E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$1541F7AC-6E85-4C6E-B500-BE240A609CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe753357a6d82c52967f1976a05f5e36a3cab5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498479,"id":"Q3498479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$5A577C56-386E-4134-9F42-521056BD4FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505501$4ED842AD-8E15-4203-82F4-6FBF9CF3F89C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"064f8cca344170e1496aca08d00105340a202ef2","datavalue":{"value":"conf/aisc/AkbarpourP08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505501$4EB4CFED-68AC-433A-8AD1-AC477A984594","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b4fb64992fb8ab53efeada2bcba4b18cfaafdb","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e214827b5365973040c358f246197723c0a9e0","datavalue":{"value":{"amount":"+0.9079806208610536","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":"Q5505501$8FE2695B-4787-4FB0-935D-2B788F2ED641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdc6288b3cd2676cc2b9c328d24b5f60cc06992","datavalue":{"value":{"entity-type":"item","numeric-id":2914728,"id":"Q2914728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4bcb55c4e653691f16dc85b62b76676563b4a5","datavalue":{"value":{"amount":"+0.8925191760063171","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":"Q5505501$7F467332-5AFE-4C46-8C2C-7BDD9A57CD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b7e5208f662744fafa4464a03bfb0e8aeaf9b9","datavalue":{"value":{"entity-type":"item","numeric-id":2907335,"id":"Q2907335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7559b114edaafd908b5c3d586c942f0e9dea89","datavalue":{"value":{"amount":"+0.8772230744361877","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":"Q5505501$E117A7EB-5E78-4D0A-99E2-C5533CFD91AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409bf9f022d41bb5d5be4d103926e96736ec2b96","datavalue":{"value":{"entity-type":"item","numeric-id":3498456,"id":"Q3498456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86fb034d445f46ea4db6d8794a979b8880b64e4","datavalue":{"value":{"amount":"+0.8693476319313049","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":"Q5505501$F0C44B3E-4D4A-426D-B19B-6B6D6F1F8852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2236d411b2d37a6a3d011559acfa8c4a8912f18f","datavalue":{"value":{"entity-type":"item","numeric-id":2849476,"id":"Q2849476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26210daa0123fca23017f6cfac3c5f5ea24c819a","datavalue":{"value":{"amount":"+0.8298934102058411","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":"Q5505501$E2C1C86B-DA38-4C93-87EE-A513EC745369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505501"}}}}}