{"entities":{"Q6149151":{"pageid":13283458,"ns":120,"title":"Item:Q6149151","lastrevid":58723854,"modified":"2026-04-06T11:42:53Z","type":"item","id":"Q6149151","labels":{"en":{"language":"en","value":"Levelwise construction of a single cylindrical algebraic cell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7799840"}},"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":"Q6149151$F2576F10-8245-491E-8315-D640BC0CF894","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4198c3b141d448b8ceec92f3aef25c244bddaa19","datavalue":{"value":{"text":"Levelwise construction of a single cylindrical algebraic cell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149151$DB9B6F73-933B-4C02-BFBE-5A5EE0D02E6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0a376d2b8266acdf6506a4bccdf457e69c46cc9","datavalue":{"value":{"entity-type":"item","numeric-id":6149149,"id":"Q6149149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$2861B3B8-169F-4445-84CE-A54E9AEAF47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$A28238BF-6645-4DA3-A283-BDDD843E10A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ff04cdaa247d41294a0ba04c3f33da410bc3cd8","datavalue":{"value":{"entity-type":"item","numeric-id":6149150,"id":"Q6149150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$E6BC711A-9F85-4C9E-AC09-98E0D4C06766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$4C663078-B6A7-45FF-9B0A-0EFB7747BCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$78A8D61E-E3C5-44CA-82EF-6121AFCEEAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abdd09be1ba8c89002f4d0e9d2a1eeb7b1f0b03","datavalue":{"value":{"entity-type":"item","numeric-id":247221,"id":"Q247221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$0212920D-61BB-4EA8-B907-9D2D476D983B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$EC8760B8-E649-4C39-A0B4-F4091B7A07E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36c2e1616da38323cf7ff49255652cb2a9eb6fc6","datavalue":{"value":{"time":"+2024-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149151$1EBBD188-718A-4C96-A28C-46E1798AB669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdf169a9d77b3ffd49ad24d933d41c2852dfd432","datavalue":{"value":"https://arxiv.org/abs/2212.09309","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149151$B09B5438-13AF-4D87-98A2-638982A788BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149151$C3F9FA8E-2344-4AB3-B97C-9B90B663B537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149151$B91A07FF-D5FF-4529-A674-50D7BC9AE072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149151$CDA4DA6C-A5E4-4839-8584-372EAFDAD406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd24394884e9a43bc82ce00b3ed617ffa2371035","datavalue":{"value":"7799840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149151$8D3091F2-4E35-49B8-8165-C07DF7FD0656","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149151$4CF2BC91-BA2B-4DE8-AB8C-06A11EED3F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149151$26A83BB9-2D50-478B-8F59-2E79429C3D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd78757037ec84963d77be55fc12c9fc31ad9d9","datavalue":{"value":"nonlinear real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149151$BB6BD6A0-75C9-4739-938F-C2C509EEE864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f1000b8d73391e7db46cfd16e20e3d56f3c10f","datavalue":{"value":"model-constructing satisfiability calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149151$754D3197-43B9-4DB0-8E4D-29B3799FD55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149151$8631FADC-E120-4FEA-B9E1-B536A97F0253","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":"Q6149151$DABF6DDA-434E-446B-884D-56704D6498FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172794cc6d13649d0166d25dee722d6acdb3f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$7FC61872-8F52-42E8-B3C0-BDA55053525B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbd10679bf2d321eb9db870479cc35412cbd39","datavalue":{"value":{"entity-type":"item","numeric-id":2104495,"id":"Q2104495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$730298FF-AC01-455B-B995-D74C69B34187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577812c2feec97c90c4f461d53f9350fea08ea18","datavalue":{"value":{"entity-type":"item","numeric-id":5963392,"id":"Q5963392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$282FBC0B-E2A7-4D3C-891D-181A1850406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7e5151d0fc1ca64a555cb02fdb2c0495b3243e","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$AFCDD345-E475-4D44-B5FF-9A0D11DD081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c40067e9cbc5c319149d3127826cd1f36ec51","datavalue":{"value":{"entity-type":"item","numeric-id":2963226,"id":"Q2963226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$7BD6164F-8F1B-4C17-9792-3D7B12C55CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9009320af21e4f69a9b00e492ca6b43803e82030","datavalue":{"value":{"entity-type":"item","numeric-id":2819742,"id":"Q2819742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$2BA8B77D-E10C-4FD7-9C83-1E273E863CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d278dd99d9d578b70c0e62e93319e86214df6e","datavalue":{"value":{"entity-type":"item","numeric-id":5119922,"id":"Q5119922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$D9DAC598-E87E-459E-8EB7-6AEDFEE9B339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381968f95df0a25ef8a7276b0b968d5e515efd73","datavalue":{"value":{"entity-type":"item","numeric-id":5041067,"id":"Q5041067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$8F87918C-7170-4D9A-ADDF-19E3583D6E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e39f55763a7bd4074bcf4677c61231c9740466c","datavalue":{"value":{"entity-type":"item","numeric-id":2343239,"id":"Q2343239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$65FAEB0B-95C5-45F9-9E39-19AB18893815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc18f309bb14a0e512f80454ff9eece73436c49","datavalue":{"value":{"entity-type":"item","numeric-id":2110211,"id":"Q2110211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$08588FD4-5B14-4D95-9235-82DCBE72859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$C920B004-67F7-4867-A93F-A5D72B55D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72e4eeaeafe2ce2ba00901af2c02ed2222fec53","datavalue":{"value":{"entity-type":"item","numeric-id":3303890,"id":"Q3303890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$28233B98-FA5F-48E5-A05B-69A1AA8026C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4277508a115054262dca54aae3f84f05d7a748d1","datavalue":{"value":{"entity-type":"item","numeric-id":4391215,"id":"Q4391215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$D667CF56-E083-40B2-A7C5-9EA1D0EB0533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$4B077093-F5E9-4FCF-A755-091BE37A6CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028b173fd504347e5ec217a7eca5bf3210ea8348","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$BF0BF0F5-09C8-4165-9089-6FB5981BF34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$26C4FA61-670D-4EAC-8276-0AD6AB747B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$97A1E13C-281A-4209-8B75-4F83B2F0A227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcc2995060333a0e1c2ce6b961f3b9cde526202","datavalue":{"value":{"entity-type":"item","numeric-id":1963982,"id":"Q1963982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$C73FDE34-97F1-43C2-B4BF-E67BC37270ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c61e5f3fe79f37c70cf7654a34feba86b13eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2307622,"id":"Q2307622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$D288F5F1-61BB-48FB-B07F-48A5E8866DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f882fe9dd4e77e007ce91fb979674cdc30b302","datavalue":{"value":{"entity-type":"item","numeric-id":4293510,"id":"Q4293510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$64D7CE26-2058-4832-9C30-83143281A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa4c2387ad30aeefcdaa752dcaca22072d33adf","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$7A34EDF8-572C-48FD-9A0A-D070E2567D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$FB7CC5FF-B868-4176-A3B0-127E72CFEAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0cfa005db30ee2379f3032b81e86e439f1d6b2","datavalue":{"value":{"entity-type":"item","numeric-id":4295433,"id":"Q4295433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$0672B2DF-C67E-476D-BEDA-CDE8191BF1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c59e09bb020d03d7c99ef70a67a6029b9fe7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4391223,"id":"Q4391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$4CF08AF9-C481-406C-8324-CF100EFC2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115a5f7398ad0444d425cee2f3a8998dc5a97c91","datavalue":{"value":{"entity-type":"item","numeric-id":492024,"id":"Q492024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$9BF5250D-B84E-49B1-ABFD-6FCE284D4311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f934ae69cb480c6dacbcb34d47160cc7f0fc73","datavalue":{"value":{"entity-type":"item","numeric-id":1757004,"id":"Q1757004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$17A0CF93-A754-4AA9-878E-0EEF77EE9A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1ba0b5f4c9adf00ae89a41af036da24c773bd5","datavalue":{"value":{"entity-type":"item","numeric-id":5039551,"id":"Q5039551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$50AF04D5-FE1F-4C5F-94FD-6D23098357B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$4AFD4927-0357-44D5-BDA0-B27C76A975F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6b119eac1757d95d0a60a088971bfe9bb5ce770","datavalue":{"value":"10.1016/J.JSC.2023.102288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149151$1C65B4D7-0692-4CED-818A-D2386628D7F1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149151$03143594-3FE9-488F-986F-6DAC2D643C68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149151"}}}}}