{"entities":{"Q5327364":{"pageid":7356938,"ns":120,"title":"Item:Q5327364","lastrevid":51794075,"modified":"2026-01-20T01:59:39Z","type":"item","id":"Q5327364","labels":{"en":{"language":"en","value":"Square root and division elimination in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196182"}},"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":"Q5327364$EF15FC6C-C3B7-4EB7-9C41-7D3FC46F1826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d156e3747d56a3460e2fb04468c8e43ebbd56c99","datavalue":{"value":{"text":"Square Root and Division Elimination in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327364$78A9FE6F-4B2B-4B6D-83E9-52D9D09465ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"422dfd59d0628e13dea5ef384763c21ccd12f17a","datavalue":{"value":"1317.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327364$827BC3E3-901C-484B-AD69-6D7094AE08CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb8eaedf4b659dc07b72584e4ef6967ccd735268","datavalue":{"value":"10.1007/978-3-642-39634-2_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327364$AA590FA5-3244-4504-90CB-A49B528C975F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09b471a977f46dc8222892d17aa419c962d912b2","datavalue":{"value":{"entity-type":"item","numeric-id":2520686,"id":"Q2520686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327364$45CFC6A9-9241-485F-A232-B74B7EF72C34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327364$B356FF4E-70FA-4DE4-BBB6-5572A43811F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327364$1D1C0E36-B949-443B-B0AF-51DB0629DA0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d084f61b2923098397e644f3898f6c0f6039e42","datavalue":{"value":"https://hal.inria.fr/hal-00924359/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327364$3D5D9E2C-CC3C-4C75-BD3C-280F0D24484E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327364$DD4928FC-A08D-4353-8FB6-5F6641D793F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d173686517576e6e6269c158f8c256f38d63da0","datavalue":{"value":"6196182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327364$791F3580-7ED0-491F-B054-6C8414C2984A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327364$0921D3A7-7DA8-49BB-A7D8-D8554164FEDB","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":"Q5327364$7FE530A7-FF0F-495C-9D42-858E89697C13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1cf053d850d8de17a6d941484dbeb5daed580ca","datavalue":{"value":"W45848568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327364$7831F1E6-1F63-42E8-8403-72B6C16DDBD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ff66a1f4207a2cc3d977a4146d1279928a1176","datavalue":{"value":{"entity-type":"item","numeric-id":2520687,"id":"Q2520687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661a268568cafcfcf871802ac571ec96c0bb45af","datavalue":{"value":{"amount":"+0.7696350812911987","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":"Q5327364$B8F47B3C-CFFD-4B7A-BA2F-71943DD37DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8bfc5e6c76ae66fa5ded80a891abb727725852","datavalue":{"value":{"entity-type":"item","numeric-id":5195252,"id":"Q5195252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ba9fff642d474b112dd1f687a0c1bc8a938ada","datavalue":{"value":{"amount":"+0.70525723695755","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":"Q5327364$C6746AAB-3B54-44E8-BABD-C659F3E39709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c15a23134ac96d266f86e086447fa856f4381","datavalue":{"value":{"entity-type":"item","numeric-id":1868507,"id":"Q1868507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74731ac0345391e2c68c607d2acc0fec441ca580","datavalue":{"value":{"amount":"+0.7041755318641663","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":"Q5327364$347F9671-0274-4DE8-90C1-A1E10BF5062A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65744b9981a700a09958955388c407cd52b5691","datavalue":{"value":{"entity-type":"item","numeric-id":4916065,"id":"Q4916065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f21575f63cacf099fe892a2191823919e78e86","datavalue":{"value":{"amount":"+0.698227047920227","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":"Q5327364$65F383A5-E209-48E9-BBC9-D76C38CD51B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11bdae9f731c0e1145ebd1c0e2604117a0993d0f","datavalue":{"value":{"entity-type":"item","numeric-id":5477656,"id":"Q5477656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2941d3586cbbdcb095f89aa7d20a9c60af41eb","datavalue":{"value":{"amount":"+0.6878935694694519","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":"Q5327364$D8703D01-6BEC-44E3-B1DB-6E6763DF3A8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327364"}}}}}