{"entities":{"Q1187032":{"pageid":1197781,"ns":120,"title":"Item:Q1187032","lastrevid":69848556,"modified":"2026-04-13T10:45:08Z","type":"item","id":"Q1187032","labels":{"en":{"language":"en","value":"Polynomial time algorithms for sentences over number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37528"}},"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":"Q1187032$B69692F9-42DC-4E72-B3B8-7903216850F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"941ee29e55a0452e7013c692c2129d16379a2c36","datavalue":{"value":{"text":"Polynomial time algorithms for sentences over number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187032$ECDC091B-30D6-418E-812E-7DC185F5DF78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67c240b9a8e8e04256e4bc134bf99d000d38a760","datavalue":{"value":"0761.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$38B207C4-60C8-4E92-AA71-18608C757800","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610369074e38d0c9674e6c31b3e1825d8336c01a","datavalue":{"value":"10.1016/0890-5401(92)90037-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$37E52C67-F0ED-4845-AF21-54E1CCA8558A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$BAC5DE19-63DE-4866-B5BA-107B142AC39D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$EFEB0A06-0811-4BBC-B139-B898F195FED9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187032$F14DB244-22FF-4767-BD6A-9054B59826FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$B0C9FAF1-BDAF-42DF-ACAE-9654DAAAB767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$C7F9BBBD-D197-40D1-85BB-0FC4C140C61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$F2885760-B536-4F12-AEAD-9BB720361A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$DC72227F-D555-4029-8309-083D4649700C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76972a4c3765666fb38a18bf8bf0db5c2913a2cb","datavalue":{"value":"37528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$1131542E-71D8-42A0-BCDE-1B99740D536F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d334b325121e586d3ea7485c836a670331ff32ac","datavalue":{"value":"sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187032$1D3EB3ED-ECD6-46B4-A7BC-5DF76E607FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e15d33c80195dcee833e882ea8e7d5323a475c","datavalue":{"value":"quantifier free formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187032$9DFD21B7-181A-48C0-9718-8CE31879736B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdde7b45dbb3f8df248ead9902e8db0fb791e374","datavalue":{"value":"polynomial time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187032$105DEA91-9F7A-4CD4-91E9-B92898E0A718","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":"Q1187032$5064D0AB-A2AC-4C2D-B209-5100853BE61D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$43767473-B496-4C55-A0C1-82574815B975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1a6784b2890935fe040a10bbb3bc8498038646","datavalue":{"value":{"entity-type":"item","numeric-id":3679295,"id":"Q3679295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$B287A71B-CFF0-45B2-A6B1-CAB182F39A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bdf775be1796de08c6cb323fbcc70991469aec","datavalue":{"value":{"entity-type":"item","numeric-id":1071803,"id":"Q1071803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$60B2783B-4897-4C49-B549-82533EB778B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560fb8ef119ba09032ed218cef2be5042ee94aee","datavalue":{"value":{"entity-type":"item","numeric-id":3775638,"id":"Q3775638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$7FA68018-9042-4C8C-9D81-9F61963387E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$193DBD56-AAE9-4067-B8B1-21A3921E3A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7afcb9a0497959937cf113b16fb13499994cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4053736,"id":"Q4053736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$73B49B11-55E4-4ACA-BAE0-92C5E1222045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$173EB6E9-7F72-4AE9-802C-1B726DDD00B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef439a3ec7e18fb2994f6fa506fb395e40d2eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3281069,"id":"Q3281069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$4A85C3BF-0984-4619-ACD7-13B174D79ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d9110f35da3e01787e86edb99f89eca0665ad","datavalue":{"value":{"entity-type":"item","numeric-id":5625144,"id":"Q5625144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$B3685BB3-105E-4361-9C1D-C4389615E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90280e4a2bbf7c1a6722d2784889488a42930a7","datavalue":{"value":{"entity-type":"item","numeric-id":3947744,"id":"Q3947744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$B06E4415-0D65-4419-BF71-A00DF384DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017d86aaa66b33704c71f19ede945ef198706108","datavalue":{"value":{"entity-type":"item","numeric-id":3720563,"id":"Q3720563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$2E593C86-91C9-4951-AED1-9386E250E799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c1932f6fbc9f3fc4b0f96953a1e55b96ce97e3","datavalue":{"value":{"entity-type":"item","numeric-id":3781731,"id":"Q3781731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$D741F32F-78D7-45F6-98CE-3FEDF2523C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68469f9d4d555de93d0169f83fa16c3065ada5e","datavalue":{"value":{"entity-type":"item","numeric-id":5202171,"id":"Q5202171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$BE316EFF-B822-4EDC-B505-4B1331C490C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d37d04f5792bc66e4d26c8cb88bc4d523286347","datavalue":{"value":{"entity-type":"item","numeric-id":3204439,"id":"Q3204439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187032$426A836E-C40B-4801-95B1-2938735E863F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5674389ae454c852532d17f6aa93dd3c11c5d073","datavalue":{"value":"https://doi.org/10.1016/0890-5401(92)90037-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187032$709E13B9-059B-4976-9966-2F99E0ABBD34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"582601caff96c4369a708ec8266b078e7d87840c","datavalue":{"value":"W2038598785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187032$220F207C-C3A4-409C-AD6F-4DBAA5BC0CD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e24ada0be82e51a92805b75c7ed5d3cf50d2ee","datavalue":{"value":{"entity-type":"item","numeric-id":5202171,"id":"Q5202171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a72803906c1a0a6caad0cbff7b8bc31243dc0ca","datavalue":{"value":{"amount":"+0.8577767014503479","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":"Q1187032$2568CF11-DAD3-4B75-9A20-5C605A43353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc3d618df76ee452f13f3e799a67322dd825936","datavalue":{"value":{"entity-type":"item","numeric-id":3784041,"id":"Q3784041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0487cb85701b2d1ea3bee6291ef1fbc7235e96e6","datavalue":{"value":{"amount":"+0.8373962044715881","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":"Q1187032$BBD12BF5-373E-4CD3-92B0-5B3AEA54A41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33677a5c41b7edc634bbf7da9997aee0f8f6dbce","datavalue":{"value":{"entity-type":"item","numeric-id":1286369,"id":"Q1286369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9836b160d9e7fa916366d2a32029e2c36dbd99bb","datavalue":{"value":{"amount":"+0.8022125363349915","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":"Q1187032$ACE011BB-2A70-4966-BA11-F7BFDA4836FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484615d0064d7755411fc8ff2ffe47b449fa9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":784464,"id":"Q784464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e502268109dc8a8df0c404c45ec95bc1ac453a1","datavalue":{"value":{"amount":"+0.7966400980949402","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":"Q1187032$29F0B715-11EC-45C9-9C88-310BDB4458A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial time algorithms for sentences over number fields","badges":[]}}}}}