{"entities":{"Q5290079":{"pageid":7319653,"ns":120,"title":"Item:Q5290079","lastrevid":94601453,"modified":"2026-06-05T07:14:00Z","type":"item","id":"Q5290079","labels":{"en":{"language":"en","value":"Usablity of some theorem proving systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5019555"}},"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":"Q5290079$5321F3DB-6043-4E7C-8C8D-0ACD78D8D1A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c10d530da9860ebbbbf3696630b7c70481253fd","datavalue":{"value":"1117.03316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5290079$D726ACF6-B621-4AC2-A36D-0F42D288E52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2654db8da3b5dc79311d991c1608f77b32056240","datavalue":{"value":{"entity-type":"item","numeric-id":2425444,"id":"Q2425444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5290079$F4B45A17-1A19-4056-B716-46747B4CFDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbf9d861cd51c44957b299d1a906d4b562f5447c","datavalue":{"value":{"entity-type":"item","numeric-id":200267,"id":"Q200267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5290079$BCF4123B-9413-4F54-8770-56C1E644DBFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b743d2ab3c64601423da0f6c9c8e6f3cf8abe17","datavalue":{"value":{"time":"+2006-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5290079$53C2AFEA-785A-4AD1-9B14-54C235A1059A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5290079$D624CD6C-9472-4A85-945B-A4A8910586E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5290079$29A5E6B3-2CF4-4E94-85BA-B6B724A0023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5290079$423015B5-C452-4D15-8EBC-2A3CB1081C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5290079$82C500C3-533B-411E-B66C-18E29DB6BBDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c07ca1ccdc999eb0a254d28050d8586bbe315985","datavalue":{"value":"5019555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5290079$B41D1E29-0C93-4456-92FF-1CCF8E372ACB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc5f58900f6c2c3534ca7b6a0d78eb344b8b770","datavalue":{"value":"theorem proving systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5290079$03FA4B4C-A769-4389-B3DB-04DCCD62FCB2","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":"Q5290079$BA36890C-CBC5-41CA-8466-DE787A20C3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e0ddd0d03fd3d417a70b78ad186d5406c665b8","datavalue":{"value":{"amount":"+0.7698094844818115","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":"Q5290079$D88385D0-3C88-4DAC-AFC7-603E8908BFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3402b0ea3f174d1ceaf065acb668280b7dbb8d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5694881,"id":"Q5694881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f0d68b9ebeed4c3073c2778a856dd7e7e06c80","datavalue":{"value":{"amount":"+0.7555229067802429","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":"Q5290079$E1BD634D-1760-4B7D-829D-78BC4AE459AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8391c4c72e0d5ad4638ba35875fd89ca0ede5c","datavalue":{"value":{"amount":"+0.7553754448890686","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":"Q5290079$AFB05D3A-771F-4858-8235-01416EC95ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f95f76e953b56bf0130e14d725876146035256","datavalue":{"value":{"entity-type":"item","numeric-id":2488582,"id":"Q2488582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f6b96f4ad8a6fae94eb1821b4c261f8c15d1a3","datavalue":{"value":{"amount":"+0.7514792680740356","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":"Q5290079$C3CDFB32-17BE-49C4-8081-44BCB2BEA13D","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":"557ba193907eb00d436341947cb45d612d819a00","datavalue":{"value":{"amount":"+0.7463964223861694","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":"Q5290079$C20AA976-9610-4B7C-A419-CFAE2A8DACD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Usablity of some theorem proving systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Usablity_of_some_theorem_proving_systems"}}}}}