{"entities":{"Q1331625":{"pageid":1342375,"ns":120,"title":"Item:Q1331625","lastrevid":68488443,"modified":"2026-04-13T00:01:58Z","type":"item","id":"Q1331625","labels":{"en":{"language":"en","value":"Isabelle. A generic theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 623651"}},"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":"Q1331625$C4664514-5A1C-463B-B976-B2810F43E70B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"682a401dc8a5eeb336a654ca85871def45c8538c","datavalue":{"value":{"text":"Isabelle. A generic theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331625$FC91851E-8FB5-4894-AA04-921F06A544DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca722449f678b54cc54d8641c6a9f9cbed3134fb","datavalue":{"value":"0825.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331625$F1CC7897-04D6-4FDA-BCE2-4AB3E9F9AA29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331625$1B741032-21F1-4A86-84DD-2F210C9E4307","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8241ce0b1bfd14f1a976e02b943f8ceddf61248b","datavalue":{"value":{"time":"+1994-08-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":"Q1331625$B06CA1AF-BC29-4757-973E-5D597AFFB796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331625$CFD4EFFE-74EA-406D-8C48-294A6C4EC9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331625$8EC4248A-B040-467F-92B8-74A4B08C4513","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f51e5d6fe018d58fe528b34e81afd08eb7d0d2f8","datavalue":{"value":"623651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331625$0386B803-41FB-424E-8236-52CC7244BD00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331625$47A35B10-DDED-4A14-BBC2-625C372C54FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331625$7E928156-4ADD-4CF3-9287-2EDBE98DFD54","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":"Q1331625$F7C4BA64-CB9B-4808-906A-1BF0AD6E80EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87882914f61c50469ccc59950e7b240bb4f82853","datavalue":{"value":"10.1007/BFB0030541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331625$58968B4A-704F-4424-81B0-EB6E5925BC96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isabelle. A generic theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isabelle._A_generic_theorem_prover"}}}}}