{"entities":{"Q7260623":{"pageid":31016657,"ns":120,"title":"Item:Q7260623","lastrevid":104225315,"modified":"2026-06-15T13:22:29Z","type":"item","id":"Q7260623","labels":{"en":{"language":"en","value":"The existential theory of the reals with summation operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8208349"}},"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":"Q7260623$B8E797F7-974F-4C9E-BD8F-E18ED05D2F19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00012c3a32f23e1994aec4652d0ccc69aa46c81c","datavalue":{"value":{"text":"The existential theory of the reals with summation operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7260623$04DC2236-5D7B-4AF9-A508-E049CED2CE21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3b8366669de73e74a1cc58dbe0e59bc611d3d91","datavalue":{"value":"10.4230/LIPICS.ISAAC.2024.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7260623$1F17BBC2-B11A-4959-939C-719E686DE865","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed75fe355bf422dbd134d7f0546a550f899d934","datavalue":{"value":{"entity-type":"item","numeric-id":172539,"id":"Q172539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$0E9F57A3-AF16-469A-A940-98FC0BC8B7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36e74ceb2da488d887cc8413effc9bb5ad230891","datavalue":{"value":{"entity-type":"item","numeric-id":832518,"id":"Q832518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$6D129E66-12AC-4312-A8F8-151F0019F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae43f76052d81f9179fca07ae9c5059d792ae26d","datavalue":{"value":{"entity-type":"item","numeric-id":393130,"id":"Q393130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$0E9ABB1C-A5F1-4B46-91C9-03C931BA308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c5d2401d9100f5204e4afb25fc8383cffdc7607","datavalue":{"value":{"entity-type":"item","numeric-id":2321274,"id":"Q2321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$F624C811-B0C3-4C04-9E42-DF5257B251C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01eb6f73d18d5efe72b24052b32d1bfa4d77d927","datavalue":{"value":{"time":"+2026-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7260623$FE76D613-D7BF-4E4F-B1B6-83F2D0D48C3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7260623$7C8013D6-7D16-46ED-B004-17806BDF1546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3e08ce5173a4476c0a0706d7754caaa7d8d4784","datavalue":{"value":"8208349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7260623$C48EA005-2DA6-4BB2-9218-EBD2D56F20BA","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":"Q7260623$9FB7FEC5-C5D8-4454-B99E-E85F806ABAE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93f8e622104cec459472e9d85cd5c692ca509ff","datavalue":{"value":"existential theory of the real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260623$BE2F4977-475D-483C-A03A-C0FBEDEA58AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260623$712B018D-BCAD-4519-A7A5-00AEB5A3DDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260623$0E2A8E60-2E5D-4C05-9F2D-B7F6AB5CCAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe1e8f676040b787c7abd649c68d227da93e5c2","datavalue":{"value":"models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260623$B097BCFF-9C83-42EF-9DF1-BB3BF03A016C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1939d9309a0553f4849c90ee9f3b0033f089858e","datavalue":{"value":"existential second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7260623$144F685F-7A86-4B87-8D53-B5FA6E149684","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":"Q7260623$D4D8C2FD-6CC5-4694-8F04-28BE57063B7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39976015ab77ca8f4c55172e11d958391aeb3be","datavalue":{"value":{"entity-type":"item","numeric-id":5230277,"id":"Q5230277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$FB6E8922-2897-4CF3-9049-9CB72CFF8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4fc5253d211a0a0418e6bd726ed432910744368","datavalue":{"value":{"entity-type":"item","numeric-id":5885632,"id":"Q5885632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$A050EC3A-7D05-4C5D-9C01-ABF8ACD91E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797be89d84add8a504759766e50d472deee429fa","datavalue":{"value":{"entity-type":"item","numeric-id":4636611,"id":"Q4636611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$ECEDA902-7E30-435E-AA99-E4FC538892C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$FD3F0EBC-37D7-4C4F-8E42-05058E30A822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ecdd6ae796ed37ec9a32b57a9664c1168692f3","datavalue":{"value":{"entity-type":"item","numeric-id":1567446,"id":"Q1567446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$6B16C607-2B22-4375-AF98-AEAB2F84A906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92519a57cea63c4ef560f91abf6fd5c4b6d5056d","datavalue":{"value":{"entity-type":"item","numeric-id":1647487,"id":"Q1647487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$1A74057C-3889-4C97-A7C5-52BEED7D0AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b389b86d2062eca3e5b60be2d9be4a73f90126","datavalue":{"value":{"entity-type":"item","numeric-id":5071086,"id":"Q5071086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$82D5CD8D-28CE-4BFB-A6F3-D8DE730B66E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$DD421444-C9BC-43BF-8B0A-EC5573C549D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$40E81D40-42F5-49C6-B47E-7C1CBBC5AEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d21ba7c9e01a1e4d50952aba9cb27df7aae8db","datavalue":{"value":{"entity-type":"item","numeric-id":1113939,"id":"Q1113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$10F2FEB4-A405-4486-A4C4-FFC3750B3021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680797ba42b861d820c61e3d439af08cb8fcfb49","datavalue":{"value":{"entity-type":"item","numeric-id":5145662,"id":"Q5145662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$DD273005-8ED5-445F-A5C9-7B76F1A48D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032ee7a84ed86f7f246f6531abd931ee83eb5317","datavalue":{"value":{"entity-type":"item","numeric-id":2821695,"id":"Q2821695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$04DA074A-1C40-497F-8611-5A82EF7DA251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e47010effd10fa887b113f587def90524107f54","datavalue":{"value":{"entity-type":"item","numeric-id":1932476,"id":"Q1932476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$B1D6B28B-F923-4A54-A204-6AF466A7A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$A78F9414-607F-4DAF-AC69-FBEA13B0A103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b416ba6b69a53043af652ca6691d15d0f94bc09","datavalue":{"value":{"entity-type":"item","numeric-id":3651576,"id":"Q3651576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$5C6B4444-2650-4237-804E-95E37D966373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefe3932ed0c4a409b2d7421befe372f484c03a8","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$5FFDA183-8447-464E-8295-7A7F416C0104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c032cb577bd8adc2219cd3cb9b006cd448562fdf","datavalue":{"value":{"entity-type":"item","numeric-id":3557891,"id":"Q3557891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$CB0CA110-5693-484B-BB03-26BF650E9D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff444e7fa1e9e5b57ae71151266b611d153eccd9","datavalue":{"value":{"entity-type":"item","numeric-id":6489317,"id":"Q6489317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$E951F9C9-2E9A-4C27-862A-B287CDB965C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1686cdf481d1ffb4732c7b95172fc2e242605e8","datavalue":{"value":{"entity-type":"item","numeric-id":3096180,"id":"Q3096180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$3BCDC19D-ADC0-4DAE-8132-F246C42DE955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$11487D16-7A9D-45C7-BBB3-28EA4F09D2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7260623$CFB4BA14-C883-4658-83A5-16358798143C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The existential theory of the reals with summation operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_existential_theory_of_the_reals_with_summation_operators"}}}}}