{"entities":{"Q4892483":{"pageid":6922062,"ns":120,"title":"Item:Q4892483","lastrevid":40800795,"modified":"2025-04-04T18:19:30Z","type":"item","id":"Q4892483","labels":{"en":{"language":"en","value":"The Positivstellensatz and Small Deduction Rules for Systems of Inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 927271"}},"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":"Q4892483$B2B18C4E-6EFF-49E9-A21F-06A79C60746E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132874810da76a3a3712b0350b05f8d1981f22a9","datavalue":{"value":{"text":"The Positivstellensatz and Small Deduction Rules for Systems of Inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4892483$8A21A8B2-E3CE-4567-87BC-F10199218659","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed8b387ce6f6a92cac2bc47eabed012ed7e0cd48","datavalue":{"value":"0877.14001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892483$F7FD715C-F53D-4009-A2E3-C6D054069807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892483$101A35C0-3FA3-4AFE-9325-D340E2675864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8eb7a63c323464b5feb3c027dc5ccd208772dcc","datavalue":{"value":{"entity-type":"item","numeric-id":688008,"id":"Q688008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892483$6DD41AE4-4942-4016-80EE-DA7EC3F813B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a067da1377e19ad699e857de7d2607dce27ca2","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892483$D4572A01-9376-4D4E-A3A7-6C0F8E9D3D5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9f9a99e279ee4b70fa8ef815002b7fa080a54005","datavalue":{"value":{"entity-type":"item","numeric-id":2786301,"id":"Q2786301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892483$40086C7F-C28F-476B-A33A-C2EAFF65E3D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf80918924619bee5a9394ae26c1c7a83195bbf8","datavalue":{"value":{"time":"+1996-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4892483$115C8FA9-9DDD-46F8-A5EE-B2B5A2588CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892483$050F0BB4-FB3E-4A92-BC14-3B2C7F9B2CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892483$398C32F7-3E64-49AA-B02D-05DFF9024E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b7d415f1cf242c5f75a723ebb5f43974f51073","datavalue":{"value":"927271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892483$C905C005-68F5-4E9A-8EE0-D28929A99A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06207d7b8cbe1584ade829165fe5e962f27d7a65","datavalue":{"value":"basic semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892483$3EE3417E-D1FC-49CD-8BDF-C2112BD04D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b741b160bb14cc14ca39a459c6f37688f5d6765c","datavalue":{"value":"quadratic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892483$96E421DB-40BD-4440-8206-9F79A4812394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9e50d8971848be32526645375e169cfc0ddadc","datavalue":{"value":"sign conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892483$0F3B7320-FB95-4D1C-8ACC-314EC5030A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1fb1e6cb0fd2a8caa32f21082edaf843c1b532","datavalue":{"value":"quadratic-ring equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892483$3C0F63C6-E67B-46EE-B14B-808FE8DF7626","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":"Q4892483$FBDEA9A2-45D3-4C53-87AC-AF82022634C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c74f82534e1d014eec202b8a76b85a077d0a4212","datavalue":{"value":"https://doi.org/10.1002/mana.3211810110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4892483$1BAB22B5-2062-4F57-8874-55922328BD70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fac22ba14e350c56fa745c1176815d038b02487f","datavalue":{"value":"W2096901933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892483$5221C4B5-DB00-453D-9621-546F69E30F2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"518d4d1770ea9bd22fd637656f9107d1dca74450","datavalue":{"value":"10.1002/MANA.3211810110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892483$1A7AA115-2816-474C-B35E-3DC0274615B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc5e9fafffa057d3a1297152752de2af007f0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1192331,"id":"Q1192331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041d027c821ac1ee452a3a6f039dcb0b38bd78be","datavalue":{"value":{"amount":"+0.84892917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$003FB697-EE54-4393-8FFA-E65FE39F62FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197eff00d12321fd6abb0f139174269f44e09a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1734144,"id":"Q1734144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9ec82244bb666e8ab46622b212f9a579867b3b","datavalue":{"value":{"amount":"+0.84602785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$1ACC843A-3521-4305-904E-90B125E7574E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a195ab7b8cbdb9b784d9c159f1ed458fdf0e20","datavalue":{"value":{"entity-type":"item","numeric-id":2401512,"id":"Q2401512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4c79e74bb03158b689e013e33da645f8b17a08","datavalue":{"value":{"amount":"+0.8440031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$9724622B-56C0-4A41-99F5-DC85FF767885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1c6e4df95f875bfd1fc47a2b407a9ff196e2a4","datavalue":{"value":{"entity-type":"item","numeric-id":2367853,"id":"Q2367853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35ff078bdf5d508aafee4431dbed4abfad14b3c","datavalue":{"value":{"amount":"+0.8399999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$D4EEC52C-4D55-456D-A297-F22FEA50E581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d997a8b672322e0aba2b774c0c246a0738e6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5826936,"id":"Q5826936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a82462a518f0b33ec2af217dd8c47b8540e7ff","datavalue":{"value":{"amount":"+0.83939606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$3BBAD865-39DD-4633-9CF0-B64D49E6FFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1b0bb85f3071e9592840c984d61776d13f9380","datavalue":{"value":{"entity-type":"item","numeric-id":3807353,"id":"Q3807353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a3aa518bf89820a07e6aba37e4aa2e626600ea","datavalue":{"value":{"amount":"+0.83904094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$93B1914E-1188-4BCD-92DE-75B263F550BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eac2ff8247a04d283106f72c3c203a0e8cfa57","datavalue":{"value":{"entity-type":"item","numeric-id":4384554,"id":"Q4384554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e992662f63ee3c6a90a1c1917f2141af048e74fa","datavalue":{"value":{"amount":"+0.83899075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$1B90CB1A-9E80-47B6-B294-9A25F8DF44D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa60a3d205175201e6aee9d188d6c6e8a0da557f","datavalue":{"value":{"entity-type":"item","numeric-id":1058639,"id":"Q1058639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72eed16fa209bb9d7f3971d49a700e44ff47e1c2","datavalue":{"value":{"amount":"+0.83539325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$3829C948-BEC3-4707-B688-AE416F1575E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f556d9be610ababbcaebec3cacbe08d7385948f","datavalue":{"value":{"entity-type":"item","numeric-id":1808641,"id":"Q1808641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d001fcc9ab46c282656cf71ac4a266cd80969e7","datavalue":{"value":{"amount":"+0.83511907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$81AF530F-1E05-476B-826D-135CF9FDC832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c8c77158a615a89aa3879ec57b30a22c673366","datavalue":{"value":{"entity-type":"item","numeric-id":1895330,"id":"Q1895330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8a6d96da4df42f223fdce8b4c064a57786f5ff","datavalue":{"value":{"amount":"+0.83480835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4892483$4DD7E442-F67A-410E-98D1-1D8FC569B8EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4892483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4892483"}}}}}