{"entities":{"Q3773391":{"pageid":5803297,"ns":120,"title":"Item:Q3773391","lastrevid":52135601,"modified":"2026-01-21T00:26:35Z","type":"item","id":"Q3773391","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033134"}},"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":"Q3773391$E8137E8C-1CE7-4A37-BCC5-FCBBB39CB308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6f486f53acb115f42d01b349a014c49ed609237","datavalue":{"value":"0634.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773391$685B1DBA-8265-4E24-A317-27C5D7E7FFF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddfff015106a69897ff935dacfa3721a8a71f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3773390,"id":"Q3773390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773391$790AD9F6-471E-44F6-872D-19CA0056682F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3773391$6CFAA8E3-645F-4CCF-A090-C00FDE6CCD40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773391$75E7AD91-5C5B-4D86-B5C4-98D4C48AD0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773391$3D2603AA-3693-4974-A769-1DB75B06E8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"accd5824136233297d07b2f369c27409827b4f95","datavalue":{"value":"4033134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773391$56B9F38B-DC92-4E3C-BFE3-6D8418FD301D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773391$C0FD909D-F4DC-48A4-B084-0265C2914162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83ca658e07984a95b4ec7cd92ae9dae787927a2","datavalue":{"value":"first order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773391$DE0660F1-883B-4EC4-BFE6-F65D8143CBE5","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":"Q3773391$450EE38B-7C3F-45D6-9D84-8A1AF37462F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a82c0b5c5fb6d803be6bed456dfcd5cc4cfeea","datavalue":{"value":{"entity-type":"item","numeric-id":3782835,"id":"Q3782835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1ff66ec7618ef71354e4dea7a5d13f9af53840","datavalue":{"value":{"amount":"+0.8789133429527283","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":"Q3773391$CAF2C35E-2162-4A57-81E7-287D2B246594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b707a0a3e11c7e8dc9e0e599eba9720314d3051","datavalue":{"value":{"amount":"+0.7661071419715881","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":"Q3773391$38CFC749-932C-43EA-B5C8-8E215CDF6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb720b7c1477bdd9fa3da132be1b604f98822c","datavalue":{"value":{"entity-type":"item","numeric-id":2721238,"id":"Q2721238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb751beb0f682ec961a04bcec263934c56a43fc","datavalue":{"value":{"amount":"+0.7565574049949646","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":"Q3773391$71DF5643-C475-4D42-9390-118C81654F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7972f30824182e61e52aeb53a96a6def95bb47e","datavalue":{"value":{"amount":"+0.7528324723243713","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":"Q3773391$A6CCB70F-9314-46F0-BC21-E82F853B579D","rank":"normal"},{"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":"4638581b1ac6fa947b2419183fefed6c5426de78","datavalue":{"value":{"amount":"+0.7512348890304565","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":"Q3773391$358A785C-D3ED-47C5-9600-56C1932AFB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773391"}}}}}