{"entities":{"Q2907335":{"pageid":2918060,"ns":120,"title":"Item:Q2907335","lastrevid":44725950,"modified":"2025-11-25T12:03:20Z","type":"item","id":"Q2907335","labels":{"en":{"language":"en","value":"Real Algebraic Strategies for MetiTarski Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079508"}},"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":"Q2907335$B683D324-7E0D-4760-A8CC-172F2E61037B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93f49f63f705cb77e6836b4ede305597867bb786","datavalue":{"value":{"text":"Real Algebraic Strategies for MetiTarski Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907335$5571088C-ACEB-4BFB-A2A0-037849A85CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fab9da4702bf84afc80df5b6b50fe3348798dfa","datavalue":{"value":"1360.68764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$0B16A012-EB17-40C3-B701-7272492099B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"910352e210c394e660ed0321e1d3b624171edf76","datavalue":{"value":"10.1007/978-3-642-31374-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$06D935D1-0A57-4468-8A1A-DB9284AA9329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$1C0BD3C3-9E84-4EB8-9A67-9CBC39A713D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"981d6b7ed8e1264cf10e16ebb66b8ed86de91604","datavalue":{"value":{"entity-type":"item","numeric-id":1725843,"id":"Q1725843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$98913684-8B3A-4F69-BA20-DDD6C20A848A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$C1FADC1C-CCEA-40E9-95DF-7EFC67BA3FD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$C3EA8BC3-C58D-46AE-BE16-61CF9E3C027D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-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":"Q2907335$2F230497-B608-4384-AB6F-EDDF4FE3AFCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$3634DE94-BE6A-40C6-84FA-FA86058EE1F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7e724d2e7e416c9c6e78f23a8e185cb11096c0c","datavalue":{"value":"6079508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$7203805F-B337-404D-8C62-12A8DCDD8660","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"06a1d03e6249c1f8624ae97ba0b8c2a148fa237b","datavalue":{"value":"Q57382600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$FAA20DF1-114A-4FAA-97E2-201984CF4A98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$B5E30F55-F7D6-4C95-A7B1-972358AAC1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$8C4494E7-BC13-4E8B-A268-F1D3C7A55E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907335$A7B86015-B5D6-4F13-AD02-4D7D4889319E","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":"Q2907335$D9E04CD7-A497-4D30-8544-2C6B69A059ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbafc64e99d9b6275be6bb3fcb88dedccda1be1d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31374-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907335$6AA0F866-8A3E-4722-AF32-154A06C2077D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50cec359b3e4d1da6eabbacb3fadf07c7fdeba0c","datavalue":{"value":"W1492057809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$B5236ADA-0197-4E6E-9352-CC8A75D0D2D3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c8b1fce1107dba553c1a908f1b132728fbb0f34a","datavalue":{"value":"conf/aisc/PassmorePM12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907335$E7B1BA39-2378-4CD2-B815-51510CBD0167","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f0d0678efa301b02fc9543cbb551ac714ec417","datavalue":{"value":{"entity-type":"item","numeric-id":4531855,"id":"Q4531855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633516b72028bbd5a2989c59635be8c74019a671","datavalue":{"value":{"amount":"+0.8618095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$6FC811B0-9C39-4452-AF07-D5D1A6E971CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492d94a9d4c9ed7b7766365fdda9990c24208bfd","datavalue":{"value":{"entity-type":"item","numeric-id":2649408,"id":"Q2649408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad40f82aa5d8e2a563fe1bbfda1841f1a07c01a","datavalue":{"value":{"amount":"+0.85752904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$3DB1A15D-FB71-4A52-AAF8-D0D69197A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b778e815ec3b846434f21bc709dc1e0f05abd4af","datavalue":{"value":{"amount":"+0.8502937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$84647EA3-6614-43F4-8D9E-E8EA1C0D98CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778076cf8d01d1fa2a96629722ddf245325cd9a1","datavalue":{"value":{"entity-type":"item","numeric-id":3744161,"id":"Q3744161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fe5c6789d15b77e3e3bab66792606536711bb8","datavalue":{"value":{"amount":"+0.8485122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$AD506B7F-A0DD-4727-BECF-1049F68B3B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5435931d86571d4360d36b2e13206d8d9bf866","datavalue":{"value":{"entity-type":"item","numeric-id":3118384,"id":"Q3118384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9475453ccabc48c8b22e932a2d260b77e71bc32","datavalue":{"value":{"amount":"+0.8480947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$67AF181E-CA3B-4841-809B-623D13A10F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645e7285e97418353d073a46d959bd25d23f75c4","datavalue":{"value":{"entity-type":"item","numeric-id":2945641,"id":"Q2945641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b03848211cac8d3d659540a634e9790065ce9f2","datavalue":{"value":{"amount":"+0.8470358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$8BBF9DF5-35DF-4EA9-9FF7-424866D6985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e1ab25cddf8d8f70f9af1b7ca50a3f0797b683","datavalue":{"value":{"amount":"+0.84393907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$73A6B089-E3D7-4D98-94D5-E9F8B87DBE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d89f45f3b6d94ae5ddf6af45acee1c0ddf93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4373558,"id":"Q4373558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ea1c829d811d7d5adabaf285357e48da8e19bb","datavalue":{"value":{"amount":"+0.84250385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$977A3F2C-D6EC-4669-AE1F-5B058FB1ECA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110d686c78710c35fb6bf7f3f575cbb0884931aa","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdfd2718d1b18580a52fcd088d3082b468e55f1","datavalue":{"value":{"amount":"+0.8424076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$19FA2026-056C-483E-8580-E3E9E18AED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce4759e56135c5d12071c5ba3b5cbd81181ac35","datavalue":{"value":{"entity-type":"item","numeric-id":3304406,"id":"Q3304406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb5eb26be1fce24644f16a0f8096849289d3443","datavalue":{"value":{"amount":"+0.84123063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907335$1AF8D096-2128-48DF-B278-633A89321157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907335"}}}}}