{"entities":{"Q4860657":{"pageid":6890237,"ns":120,"title":"Item:Q4860657","lastrevid":41815605,"modified":"2025-05-08T16:24:10Z","type":"item","id":"Q4860657","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 834570"}},"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":"Q4860657$B8401F77-0C64-4E26-88BD-0134B26117C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c689cc94b7dac22e6249349272a6ea95cd91e4db","datavalue":{"value":"0879.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860657$0AD4EC56-41AE-42A8-8F51-FB0978769A00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860657$FCF40E5F-0D23-482E-9B9F-617DE0B02F2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad4ab8f37a90ca87e9ccd9974f355802c12e0ef2","datavalue":{"value":{"time":"+1998-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860657$19FD8978-A44A-42D3-AB21-7186373016FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860657$E6111645-CFEB-45F5-9C7D-285FBF308CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860657$138D6A82-D8C6-48C1-9951-C179B7F63639","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39425ec812cc9da7da14ec8a56f57c233927b38d","datavalue":{"value":"834570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860657$71CF8492-04B0-4793-BF95-811A87550149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860657$CB12BB64-6106-4ECE-B9A7-6A261D9D2DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860657$E5B3FF87-271A-471C-B628-B86A23EFA066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34de8b54d67cad8bedae68f107d9dee1e791fd6a","datavalue":{"value":"tableaux method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860657$03BF6690-3637-4B22-BF92-1D89428A316F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860657$BCCEE057-9471-4C23-AEB3-3773C0F5DB85","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":"Q4860657$09A4AB38-EC60-4C94-89B2-E299456ED962","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09fb0cad88b4e460b738b42d93db02d64190ad33","datavalue":{"value":{"entity-type":"item","numeric-id":3010356,"id":"Q3010356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ab0fa0247151403632e1a7668f55f268e03af5","datavalue":{"value":{"amount":"+0.8847464","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":"Q4860657$B26D2032-4E8F-4A30-A192-5CDD5DD5F6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5dc85744a58895b351d6c7f27ac3cdc3127642","datavalue":{"value":{"entity-type":"item","numeric-id":4610325,"id":"Q4610325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc56f2bbd01c69b9f9eb12b53070a5d590c9454","datavalue":{"value":{"amount":"+0.88416284","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":"Q4860657$2D35A96D-5627-46F7-BD8B-0D15A88D3DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d818b8ab1358368e0162ac160aea665788f15dd3","datavalue":{"value":{"entity-type":"item","numeric-id":2785673,"id":"Q2785673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfffe98d971ea5b0897c16b8e57f576632823ff0","datavalue":{"value":{"amount":"+0.8636536","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":"Q4860657$FBA63B20-65B6-4CCC-ADBD-A1D377A1E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcc9767634cfc6ffe1198b6a3539e8125de8dc8","datavalue":{"value":{"entity-type":"item","numeric-id":933366,"id":"Q933366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bca9f0c84ee54a3587fc1070f240f319bb02daa","datavalue":{"value":{"amount":"+0.84993553","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":"Q4860657$AEF7333C-2984-4D4A-8714-E2458AA2773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313deac479923e3155ae70a86594daf3be8beb60","datavalue":{"value":{"entity-type":"item","numeric-id":2753598,"id":"Q2753598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b846bbe29bef8e1af8ac8e0d367b7b75bba5d52","datavalue":{"value":{"amount":"+0.84925413","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":"Q4860657$13C30B8C-F8BA-4D4B-9B6D-9E9E5CDA23ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c535e3b947c029766703533205075ada875e4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4013973,"id":"Q4013973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2dbde28797bc480226bcf75235d471fd9e61e7","datavalue":{"value":{"amount":"+0.83966744","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":"Q4860657$076F4A72-2227-4BF7-B54C-A257B6A658C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26269902009e838111e06f3f7b071c3c0bfee99f","datavalue":{"value":{"entity-type":"item","numeric-id":1863821,"id":"Q1863821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd18817575b77d5e78111bc349c64d1694924e3","datavalue":{"value":{"amount":"+0.83783036","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":"Q4860657$C2C3D1D1-3E60-4E45-9CA0-AF2B46F51FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf442b32a9f8dd346b9c2ef9220fe62a42162a7","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b414ad1c7c49c0b85242b5ac90ca95e596deb9","datavalue":{"value":{"amount":"+0.8364299","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":"Q4860657$5BD8F9A8-87EF-4F70-B40F-CA3322BB9933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f28d8ee81fd98a3a7ca7a91dd0acaebc3ee520c","datavalue":{"value":{"entity-type":"item","numeric-id":2849491,"id":"Q2849491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63810fdcd2323f5eb51d43acc8257bdd45f9c4b5","datavalue":{"value":{"amount":"+0.8359565","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":"Q4860657$7DA51FD5-A0C3-458F-8E66-F8CB6B871EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f143b1d75c8b428b312de39431152a4a36e25b7","datavalue":{"value":{"entity-type":"item","numeric-id":1119668,"id":"Q1119668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf4b520fdd93afc68a7ddd36a08406c521539c6","datavalue":{"value":{"amount":"+0.8348402","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":"Q4860657$B660391B-7FF3-4952-A99E-D5B04CCBB14B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4860657"}}}}}