{"entities":{"Q6614038":{"pageid":14225195,"ns":120,"title":"Item:Q6614038","lastrevid":42381354,"modified":"2025-06-14T00:05:11Z","type":"item","id":"Q6614038","labels":{"en":{"language":"en","value":"First-order reasoning and efficient semi-algebraic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7921870"}},"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":"Q6614038$EC03FDBA-8A0E-406A-AA78-9B1D3732AD18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1314a41bac18a683ac01647771300373443ac034","datavalue":{"value":{"text":"First-order reasoning and efficient semi-algebraic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6614038$7E7A8108-7574-4B7D-849A-9D9FAFFF8DC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ad939de1e2bbfd37050decb2e7da2bf3f7bf2c","datavalue":{"value":{"entity-type":"item","numeric-id":2029774,"id":"Q2029774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$6E4A5D2D-C50F-4860-991A-84814C57D3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20891ef55d2a5c027c71fa5443ab52ee86634717","datavalue":{"value":{"entity-type":"item","numeric-id":647333,"id":"Q647333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$EB039FC7-74CF-4B7F-9C95-D34835E1A85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$446EDB72-A755-44D5-9C29-25ED4CAEA252","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$FB3AD03C-9DBB-44FB-A7DF-9912EE63FD2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97b222c279d09c7408b22b57194090b88c27b94","datavalue":{"value":{"time":"+2024-10-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":"Q6614038$64ED5900-FCC1-445F-95FD-7F0AA68FE4B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614038$367EC7EC-17A7-49C4-AF32-F17925D42995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614038$9A3C2744-B6A3-4393-A85B-75A43C2C8DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614038$6B0D4F9F-A301-487F-9A0A-DC1338F6B755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614038$81F5C319-84CF-4942-BE08-A24419188728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d54ce9cca5fa1128c464c2e3e45c4f1dc3e7e907","datavalue":{"value":"7921870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614038$8EB0C62F-280B-4007-9E7D-E098C7B17919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa537c38c87720867c81e56cdca3d9bee49dc5ac","datavalue":{"value":"semi-algebraic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614038$E027FACC-C3EB-4EF4-B5AC-C8D55C2DE3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4e00f91f9b6278a98ec4eed6669527225bfb","datavalue":{"value":"sum of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614038$0274C723-201C-4F13-97A8-622C723A8387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614038$B14DB392-E262-497B-9A64-5D8E73834DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614038$F3BAFBC4-FBF2-4E74-8B6F-A63D9A074589","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":"Q6614038$BC54273F-3DB7-4D02-B815-BA7988A40539","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed649d2c385bac115f092b65543ccd87d6cd2968","datavalue":{"value":{"entity-type":"item","numeric-id":6115377,"id":"Q6115377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$15E6BA2E-C0C2-44CD-A8E2-6C5E8867DC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9074ee3d5efbd83e8d8f04ba3e757924dfd642e1","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$C157806C-CAC8-4193-AFAF-B11EFF5702E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b936c8f2cf26fbbe10595f2cbc0a778aaa8bc5a","datavalue":{"value":{"entity-type":"item","numeric-id":5415483,"id":"Q5415483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$B9E82A0E-AB57-45A9-B929-2BB45C1C05C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afea89ab90899796a794ffd4229d8efe625be75e","datavalue":{"value":{"entity-type":"item","numeric-id":4247788,"id":"Q4247788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$FE41D5F4-F7ED-435B-8F49-C052DC7601A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f92f7cc06a90828b719727f617433d9bcf72bd","datavalue":{"value":{"entity-type":"item","numeric-id":5169973,"id":"Q5169973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$E211369F-F8F5-4780-9275-751B0777D28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feefa0ab8d53a72c8121731a2cf52a9226c9b951","datavalue":{"value":{"entity-type":"item","numeric-id":3304105,"id":"Q3304105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$EC661A6F-A926-4FF2-B9B0-AC74C5DA8615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$2A6949E1-F22F-4AAE-B1DC-FD9BB6C24661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$828C1483-EE4F-44E1-B43A-2A3566C9B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$E76439D4-8CBC-4E97-A311-1586F60CAEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5606b712d2ebf2a2a003c80b8cfe29c7a645423c","datavalue":{"value":{"entity-type":"item","numeric-id":2944908,"id":"Q2944908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$D5530A8B-3732-40AF-8E88-BE4AD3360FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$2AC59705-6E5F-49AB-BAA9-BAB90BAABAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$1477474E-CE4C-46A0-91FB-CF71190C5F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$F69EC3EA-50AF-41D4-97CA-6B67AA98DC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd01ae611bdc1621b0ff2ccac7d01bf6e7f3b87","datavalue":{"value":{"entity-type":"item","numeric-id":5215904,"id":"Q5215904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$99B051B1-F4CF-44A5-8886-6A02754830EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a98465aa59b197fb5f6d70cdd9526566bf22d6","datavalue":{"value":{"entity-type":"item","numeric-id":5957725,"id":"Q5957725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$FFD57E20-C5BA-4099-9934-A7A0D46C47CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60239ca3157ed98d51bcfd9900afb82df0f39de2","datavalue":{"value":{"entity-type":"item","numeric-id":5941296,"id":"Q5941296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$00710A5A-2732-4C57-A5BE-1A2D42E9F519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca5f96fbc34b09e5346c7b54e907eb6f5aedb8b","datavalue":{"value":{"entity-type":"item","numeric-id":1401356,"id":"Q1401356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$4A5CCE79-5DF2-4AE5-9AD5-D18FBEC491A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcd39d4d572ce00371c8bcc7e5ce715cd1a257","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$B91260C3-3152-4414-A4CC-663DC179BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41b5d6b878a8321367dc00f15dbbc6d413050ae","datavalue":{"value":{"entity-type":"item","numeric-id":5957910,"id":"Q5957910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$01316BD4-7763-400C-BF84-8EFAA718E88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$63E1C8CF-A264-4751-9C1A-759944913E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$6777C690-C8C9-4C3D-8E76-57B31DD7E44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$A5C187EB-25C3-40D8-898D-CF1E1312FE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$4AC6779A-CB8E-40E9-844F-9ABA84DD9965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$5EB81E34-1D93-4744-AC4C-EA02BBFA561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$233231D1-951B-44A4-97A6-7AEB902F73DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ca987cd31fcda273faf7f829a209009518eeda","datavalue":{"value":{"entity-type":"item","numeric-id":2706355,"id":"Q2706355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$867A632C-4CA3-4CDD-A1AE-6042CE756B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec8f6f81428bd8769215213b5291205ed0250d","datavalue":{"value":{"entity-type":"item","numeric-id":1313833,"id":"Q1313833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$A3CA6BEE-2B42-453A-BEF8-27DC73D06F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94d017d89fe8a00bee910dd24c96d75202f025b","datavalue":{"value":{"entity-type":"item","numeric-id":4012419,"id":"Q4012419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$3A61B1D1-0DA9-45F0-BEA3-D858BE63FEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9ec2d4fe272c652e065a656e21a0b8e433d7fb","datavalue":{"value":{"entity-type":"item","numeric-id":741088,"id":"Q741088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$80F658C4-4B69-4A8C-B898-8E4990A4B2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3cc38539f7e9e3ad13d128f02d8014eb8a7ddd3","datavalue":{"value":{"entity-type":"item","numeric-id":4638114,"id":"Q4638114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$10979225-F03E-4FB6-A534-17A1A14437EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca7ac25de859a9d9f2a71f97ec4bdb2f3d1b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5741820,"id":"Q5741820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$7B8B9D2F-E0C5-4BBA-BE92-6F6FB1D72F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$8E58129D-1C04-4C13-874D-71C7C3FD8659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45d398cee7029b6c4eb7c6c0e2a1a407fff02c","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$C0123481-7CD8-4773-B87C-A57F5C41C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f4859b896346c19dda4c5c4345766d2110894c","datavalue":{"value":{"entity-type":"item","numeric-id":1886325,"id":"Q1886325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$67D96F73-0CDD-4EDB-B744-ED2279725B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113504cf008f77621d0fab175bff5ce235abc332","datavalue":{"value":{"entity-type":"item","numeric-id":1766923,"id":"Q1766923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614038$F3E53B41-1D73-41DD-8FD5-6C7D126BA732","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a98d10f5b33b506ea2ff87c451c4c3e99b7cd2da","datavalue":{"value":"10.1016/J.APAL.2024.103496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614038$891DC58E-79F6-4C18-90B7-6756E65529A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6614038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6614038"}}}}}