{"entities":{"Q4733440":{"pageid":6763017,"ns":120,"title":"Item:Q4733440","lastrevid":49318906,"modified":"2026-01-06T23:10:06Z","type":"item","id":"Q4733440","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119665"}},"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":"Q4733440$E20F019B-73AE-4559-B2D7-BD280D411696","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25d1138ec7ac9e3b06f0b8b987f277a897c572ea","datavalue":{"value":"0683.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733440$54563757-CD00-4301-88C8-858B9C6630F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733440$DDC4A22A-8567-407B-A96D-7AB49F2F0C29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4733440$FCA59B32-D7C3-4F4A-A6EE-05A3CA9DD22D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733440$F9CD814F-9C23-465B-A514-2733BC9CC822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733440$C7F3553D-16AB-450A-ABA3-729EF8CA2D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba177790cdc830b01b242d77e56f2db1c6ff8c3c","datavalue":{"value":"4119665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733440$D8EEAB33-A674-46F9-88CD-3ED1FFBC05D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733440$65E9AB93-2F2C-427C-AA59-FB49C9CABFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3113d6106ad160aaf9895aeb5cf1ce98d6aaee7","datavalue":{"value":"non-resolutional universal theorem proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733440$091CCE67-B806-4438-A378-AF049DBEEFCC","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":"Q4733440$5FCFC13C-8BCB-4FDD-9389-561F832F8A10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884bfd31dec824d3b3e3af11a3e71c1b32060179","datavalue":{"value":{"amount":"+0.8018063306808472","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":"Q4733440$9CB6742A-1677-4F10-8DC6-D8A1ED1F95E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ce8bfac77ad8990a4b43d6f86774fb9254705b","datavalue":{"value":{"entity-type":"item","numeric-id":4013816,"id":"Q4013816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9871b53c1b5f437e87c6ffa66b648cedb2a2d1","datavalue":{"value":{"amount":"+0.798664391040802","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":"Q4733440$DAA21383-77A6-4A89-A539-2D947A94A418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9871b53c1b5f437e87c6ffa66b648cedb2a2d1","datavalue":{"value":{"amount":"+0.798664391040802","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":"Q4733440$80EF350A-CC8C-4E3F-9AE2-5BCF60A74749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1c39356a7ceb9eeb5335210c4f1df3c1cc3227","datavalue":{"value":{"amount":"+0.7976729273796082","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":"Q4733440$9FA855CC-16FB-4D22-A5E5-9CCE95E85ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84dff2d5bcec9d0a8ecd0213f40db1cdb08c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3793764,"id":"Q3793764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9969c298d249211a9040afda23526765390737","datavalue":{"value":{"amount":"+0.7969028353691101","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":"Q4733440$F5C339D4-A24D-4587-93EC-60B0D431EA67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733440"}}}}}