{"entities":{"Q1891256":{"pageid":1901998,"ns":120,"title":"Item:Q1891256","lastrevid":73935039,"modified":"2026-04-14T17:47:06Z","type":"item","id":"Q1891256","labels":{"en":{"language":"en","value":"Theorem proving for intensional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759358"}},"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":"Q1891256$1B50CC27-56B7-471B-9C0D-874F59BA6A54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"868e4a4b4ac11847ac1cd6259e87d429b5c149d7","datavalue":{"value":{"text":"Theorem proving for intensional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891256$C3BF76A5-7DDB-4ECC-8E16-50BB838FF48F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2439afaddab7e8f7d97b4414f036771ecd197e6","datavalue":{"value":"1430.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$7218394C-06FB-4797-97C5-174A518B6CE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab16c8c33fae76438b48c3921291b7d156e5572b","datavalue":{"value":"10.1007/BF00881857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$543BC885-BEF0-484C-A2F0-1B602E3A8FB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b694ab49a87e74582cfa716880eae5d3532140","datavalue":{"value":{"entity-type":"item","numeric-id":809620,"id":"Q809620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$D3F8F89E-E4C9-4F61-A9AE-B5227F6ABE19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$1A71435D-9FCF-4470-8810-FB94B6E55288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09dfcead45b92f8fc854b845b201747e7a5bc426","datavalue":{"value":{"time":"+1995-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891256$6BC00AA0-DAF1-436E-A0D0-8EB3545ADF17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$60664CAC-88DA-4185-B42B-6D5C08D32D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$5CF9B35B-4285-42D6-A5F2-FD88762390F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$2C39DA35-5462-4481-AE52-1F15F2BE4040","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fa1aa09f26608240a0586e7f90ad8d5519b3930","datavalue":{"value":"759358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$991E5771-3985-44F3-ADE4-D1FF3A7E1FE2","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":"Q1891256$A63CD697-EBF2-4AFB-A666-0E2B3E3910A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5490edff7e86b453cd1c3cbf6a6a3668c1ee3881","datavalue":{"value":{"entity-type":"item","numeric-id":3992823,"id":"Q3992823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$108A7992-3D49-4888-AC96-7C439EDFA397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$788E0296-A3CE-45D2-B175-358F3D18E527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7497f568821b5e0695f641f138786f64fb7a28","datavalue":{"value":{"entity-type":"item","numeric-id":809621,"id":"Q809621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$C0C5410C-653F-497F-BC11-A8E98A7D1CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c6f2192b611e74f4288a067d98e174e4125032","datavalue":{"value":{"entity-type":"item","numeric-id":3765745,"id":"Q3765745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$203D12E1-7B59-4D77-97E9-4B41033C6F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6161d5483b1931e3b3ee8d3772b000f88894b863","datavalue":{"value":{"entity-type":"item","numeric-id":5461405,"id":"Q5461405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891256$C1CE7E7C-6B04-47C8-9B3C-2570AB2F3BF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c104ff85050c120e1e3ca90fb717c626b1b80431","datavalue":{"value":"https://doi.org/10.1007/bf00881857","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891256$268BEE1E-8392-4543-9E2D-3F878BB38EDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ffa54e0cf93aeec4d05d93a3b6fd72dfd53c88d","datavalue":{"value":"W1995457855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891256$2B22D600-C556-4293-A4B4-85205F56DD3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fe568c5d70b5569983f96279c1d98b0349bb02","datavalue":{"value":{"entity-type":"item","numeric-id":5234704,"id":"Q5234704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d669c1048465441b528d75784188a8d82e9fa77b","datavalue":{"value":{"amount":"+0.7794355750083923","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":"Q1891256$AA602DD7-DA9E-4AD4-8B71-BDA074817F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f338cfe91aecb9a9571f72fed988374244af76","datavalue":{"value":{"amount":"+0.7777522802352905","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":"Q1891256$0B12B1E5-EE20-48E5-8D78-2888887329AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384fe611b748e368b21f396d33e39c6f70019af8","datavalue":{"value":{"entity-type":"item","numeric-id":6488557,"id":"Q6488557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba720b57cf131ca635fe64b0a76a0667cba26f4","datavalue":{"value":{"amount":"+0.7600885033607483","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":"Q1891256$6D12034C-4E59-4FEB-9F6E-2CC51CE44F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8371baf5558d53a6a340062a2d2b317f934e806d","datavalue":{"value":{"amount":"+0.750512421131134","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":"Q1891256$DA97941A-663F-4B61-A024-0AEC2158A943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba46022a2fc7e2be01305fa0448f1742e31bcf2","datavalue":{"value":{"entity-type":"item","numeric-id":1181711,"id":"Q1181711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecd5e8f2856697b85d5ccbda7bec50742abe79c","datavalue":{"value":{"amount":"+0.7475281357765198","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":"Q1891256$FBD8B3C7-EF0A-4DB2-8EBA-96402912F1E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving for intensional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_for_intensional_logic"}}}}}