{"entities":{"Q2968852":{"pageid":2979577,"ns":120,"title":"Item:Q2968852","lastrevid":85246520,"modified":"2026-06-03T06:25:19Z","type":"item","id":"Q2968852","labels":{"en":{"language":"en","value":"A Function Elimination Method for Checking Satisfiability of Arithmetical Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696316"}},"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":"Q2968852$9DC213C6-912E-448E-9775-C6C711139804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d78c891989225292b93770eb26753387bc13c2fa","datavalue":{"value":{"text":"A Function Elimination Method for Checking Satisfiability of Arithmetical Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2968852$D68F2C6A-C98A-48C4-84C9-FB32DE90C0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1caeea03e4684247bafc705f2435ddb20fb4e5f","datavalue":{"value":"1403.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$B81C6082-3536-4114-8856-5D7308A4DC0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62e4266a12b5891b62fea89315e828fe7bb68a81","datavalue":{"value":"10.3233/FI-2016-1303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$2BE59E4A-B132-47E4-A1D1-927A77A2BD2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968852$35B7FDB9-D90C-4508-AC7D-7E2163EA881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968852$5DE08F8A-FF1A-4F4F-B677-2D30C4B14BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968852$45AAF9C6-5616-4165-AE50-ACA10FF7BCBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968852$AFF76471-E460-45AF-BD07-FFA6E3F939F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5a8a3ac41ce533fa5c1881f7f5e9144ec9aee6c","datavalue":{"value":{"time":"+2017-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968852$F6E6F4A7-0836-419E-87FA-48F142D2EBC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$D4E85292-DE51-4AA2-82AB-84ACDD1777BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$03395C96-6F0D-4EB0-A1F3-F09E14382AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$0B46AE1D-3D87-4303-9F09-C54E137DD4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$49BF5BD7-82D0-4322-B7AA-2E9B58FF0C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$2F03BC45-455D-461F-8C7D-916196BD16BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74e6b0d07650445e149b69ba6fbb6b2019849bbc","datavalue":{"value":"6696316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$B4B11833-7E85-49A9-A4BA-5FC2011CEAB7","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":"Q2968852$458E6A89-B731-469F-9508-A8BE4C758516","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7667d03312c5ddfefcd1cf542c37f974585c0b0","datavalue":{"value":"https://doi.org/10.3233/fi-2016-1303","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968852$6A7B17DD-E526-4705-983A-E6711360B07B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb265fddc9ec04fd513c2c3afe9f35c773a1c8a0","datavalue":{"value":"W2294503472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968852$077F181C-468B-4496-A614-65B556788BF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638dcd163079b05892c4f4da51df6b1b41c666fe","datavalue":{"value":{"entity-type":"item","numeric-id":2289080,"id":"Q2289080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e96c875792860303967e5c802e1950531a8c8a9","datavalue":{"value":{"amount":"+0.8816594","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":"Q2968852$4A2BD4D4-BBA4-4F4F-B1D9-3E659B6D99FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e08483c2f09ae4587badd2c180bf6b01ea4440f","datavalue":{"value":{"entity-type":"item","numeric-id":5278429,"id":"Q5278429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b2a59efed2ccf014222f8d48af58ee54df74ef","datavalue":{"value":{"amount":"+0.87576175","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":"Q2968852$CA29E925-7632-4663-B50C-1AA4BE945F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7b8bb72e0c80f6e372a8a89999c6bac81cba3","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4a92ba36cd5fb0611db729adc1646ad5323c18","datavalue":{"value":{"amount":"+0.86939824","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":"Q2968852$AFB5E938-4663-4A46-A639-3AEC4F13E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff398daa810e103a4cd1e0b35ba7a69419d933d0","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056377a3d491843c8c851560943b2a1aafb7342e","datavalue":{"value":{"amount":"+0.8685322","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":"Q2968852$0B824E0D-F0F9-44F6-A89F-2BEE0DFCEB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b4b6282524b6a9ace05e85cd121cc70f5ec4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4972168,"id":"Q4972168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941f0be1b1ef1884b32e6f27782950b195882e77","datavalue":{"value":{"amount":"+0.8616748","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":"Q2968852$97426780-A7BE-4413-B4A5-7A811CB12520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fc68374e9c35d3adb3be49b9a7dbc228b72f25","datavalue":{"value":{"entity-type":"item","numeric-id":2811336,"id":"Q2811336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941f0be1b1ef1884b32e6f27782950b195882e77","datavalue":{"value":{"amount":"+0.8616748","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":"Q2968852$16E8CC3D-9225-4124-8255-9E083CF26989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7122627a1980b9a9372dca05b8a1de2ae1f9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":4255135,"id":"Q4255135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916daa49a43cd3cd7adefc3685aa89c887fb7e47","datavalue":{"value":{"amount":"+0.8586294","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":"Q2968852$AF5D3EB3-A1C6-493B-AFE2-68E0687128F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a4beec989963b84b330a5033311fae02f2559f","datavalue":{"value":{"entity-type":"item","numeric-id":2277248,"id":"Q2277248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d7b72dc121fd8032af281439bfe44902ca3ce5","datavalue":{"value":{"amount":"+0.8570615","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":"Q2968852$1F4012E3-5980-47FD-8C94-553A1D322714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2413b0d2d7eacde96b7b0bf6cd0ff5f874b9f2cd","datavalue":{"value":{"entity-type":"item","numeric-id":1316285,"id":"Q1316285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10488a767c8ef158af29c87a867d72c89cb494e7","datavalue":{"value":{"amount":"+0.8559494","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":"Q2968852$B10D5EFD-EA9E-481A-A458-221B39022827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0bd6c40b1fd783629f6d573299de330d61010c","datavalue":{"value":{"entity-type":"item","numeric-id":1206242,"id":"Q1206242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfe9fee121e5e0900f4e9ab3bbfb5c7e9333533","datavalue":{"value":{"amount":"+0.855482","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":"Q2968852$3D9A39EB-F448-4330-A2A3-EA0113B6251C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Function Elimination Method for Checking Satisfiability of Arithmetical Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Function_Elimination_Method_for_Checking_Satisfiability_of_Arithmetical_Logics"}}}}}