{"entities":{"Q4815865":{"pageid":6845445,"ns":120,"title":"Item:Q4815865","lastrevid":74958147,"modified":"2026-04-15T01:17:34Z","type":"item","id":"Q4815865","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099386"}},"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":"Q4815865$9A7E2FF2-F636-4A82-BFC6-849A19066227","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e0eab193abe301feb1564fb641c1886f6c8e755","datavalue":{"value":"1049.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815865$011706D8-E58D-4B46-8721-D0D2EE2CB767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1971c90a7507af8e1e04fb469535e20df68ff8","datavalue":{"value":{"entity-type":"item","numeric-id":3115171,"id":"Q3115171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815865$8E0A7C88-DE10-4B13-92A2-5266D702CFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87dd640a294ccf897adf403b99c8d88ab608678","datavalue":{"value":{"entity-type":"item","numeric-id":1098831,"id":"Q1098831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815865$7E2AB318-7B22-4958-8AC1-2125F39F8E83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-09-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":"Q4815865$A9A02974-BB9D-46AE-B224-ADDFBA8801ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815865$25581E5B-6612-42F2-8684-AF5CCC929071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815865$E7D11F08-A772-4181-BB33-1326A437F912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815865$CDDBB722-B1B4-4364-B37C-40EA112608EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad4cfafc25d9e8528349c176a917a5fdb726635a","datavalue":{"value":"2099386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815865$1068E71C-FC0F-4667-9442-93AEB3BD9FFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815865$C401DB1A-C418-48EF-977B-91A9DB2DD3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815865$1B6CA660-683F-4771-ADF9-1A88DCEB779D","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":"Q4815865$1E647B3D-822A-4EAC-BA56-170D0FAFEF5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78478b8769b76feb7ae990961e17dc2fa8626324","datavalue":{"value":{"entity-type":"item","numeric-id":3510441,"id":"Q3510441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00898ee63b5967e659eda76e535c696ea9c25c54","datavalue":{"value":{"amount":"+0.8110802173614502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4815865$926F029B-7780-4414-A500-1160DE0ECF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3bcae20ea57e6203360f43b03a652488a738237","datavalue":{"value":{"entity-type":"item","numeric-id":2452677,"id":"Q2452677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71aea945458ebde113a471cda7e1d791b7c6974","datavalue":{"value":{"amount":"+0.7767053842544556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4815865$1902A54F-EF86-46EE-8600-29D56FB42F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d941cfe33d3e609a14150a673ce6ef6960cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":5283964,"id":"Q5283964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319523bbf2f72906c6b3159f7c16b45bb99146b4","datavalue":{"value":{"amount":"+0.7582600712776184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4815865$FF754EAC-4596-4131-9BCE-492182BA96E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319523bbf2f72906c6b3159f7c16b45bb99146b4","datavalue":{"value":{"amount":"+0.7582600712776184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4815865$90B7944A-D06C-45FB-AF98-4EA04D78FD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7715d37aa83c72d0cc85449b40f0f2827adb54","datavalue":{"value":{"entity-type":"item","numeric-id":3352995,"id":"Q3352995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd78390c76b25c41ac5dbed4383e9c46dae12e20","datavalue":{"value":{"amount":"+0.7527174949645996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4815865$9A79818C-C4D1-43B5-8D33-8DC11CD15273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2099386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2099386"}}}}}