{"entities":{"Q4267722":{"pageid":6297323,"ns":120,"title":"Item:Q4267722","lastrevid":46775160,"modified":"2025-12-25T13:56:17Z","type":"item","id":"Q4267722","labels":{"en":{"language":"en","value":"Functional design and implementation of  graphical user interfaces for theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347958"}},"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":"Q4267722$2F45E94B-5BAF-4335-93F4-B63F9BEB1618","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8071554f761ed1538ccd77a1374bf684c63de0a1","datavalue":{"value":{"text":"Functional design and implementation of  graphical user interfaces for theorem provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4267722$FFC04D9B-B747-49BE-B220-BAE11B3F8B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ee5dc462acd41d78dacd675cccfcfbcb3bf31a3","datavalue":{"value":"0940.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267722$6E1B2294-16D7-4150-AA3F-25AA4DB21308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36ecb921a683aafdaf827e2ba1e121dea750be06","datavalue":{"value":"10.1017/S0956796899003421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267722$875E424C-FA38-428F-BC18-A59E6FF32AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267722$8B938D3B-2E8E-4EC0-845B-8E33BDFF96BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267722$62302CC3-D796-4872-B9A8-948211F5CB8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267722$893225A5-8757-492F-98C9-3B073A539D55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02000238ef6e862a5c8de82bbe4b4eb0ee0b8beb","datavalue":{"value":{"time":"+1999-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4267722$5942DB5A-1051-4431-B740-FA0EB534CF14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267722$E4491691-7818-4939-BBDB-E3850FD972B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b506675a7c64f8edb23885857193af2d6a9605","datavalue":{"value":"1347958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267722$E6C689BA-4ADF-441D-A6E4-0FF671BBD3B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267722$03C734DF-0817-455A-ACA6-FB50BAD7D35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66458805fd20f2bbeb94b692566c58b8ceb44b39","datavalue":{"value":"IsaWin","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267722$919E9E23-3E1C-4EDF-8A4E-5421AD871008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efffb2565f5016e99b30019142ee7da86958469","datavalue":{"value":"TAS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267722$FFBADAB0-1260-4EF1-BC80-D00B7910A6D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99e87bd3628666ae4ab034c6ef4dffb80dd2f85a","datavalue":{"value":{"entity-type":"item","numeric-id":13712,"id":"Q13712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267722$C69A9709-99AA-4973-9622-29F813188E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c271564990b51b3fdbf68356ca04e9947a77eba1","datavalue":{"value":{"entity-type":"item","numeric-id":17051,"id":"Q17051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267722$1F0F672B-F453-418D-90B0-19EBAE546A98","rank":"normal"},{"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":"Q4267722$D609B85E-C651-43AD-A173-696AB988D834","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":"Q4267722$1AD8B20A-2B82-4E92-806C-22329E66D26F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f0fabf3edd38ff68dc3e5840ee570fb749b0e47","datavalue":{"value":"https://doi.org/10.1017/s0956796899003421","type":"string"},"datatype":"url"},"type":"statement","id":"Q4267722$6E7AB721-2ADA-4414-B33A-EAB98E7F4729","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f08c73d62329190fb141e4b3d3603c90bb5a73b5","datavalue":{"value":"W2129538696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267722$53E71A67-A86A-47C2-B1F4-432341845AD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ad20c823504330711c7e03204434544d918e40","datavalue":{"value":{"entity-type":"item","numeric-id":2462636,"id":"Q2462636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb70688c8b9b0d22b0da43b292837e0d1eab6864","datavalue":{"value":{"amount":"+0.7702019214630127","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":"Q4267722$3F8575E6-ADEF-4C36-8B38-632270E43EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee587041bd51b390588853fbdc48e5ebdfa9d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4267721,"id":"Q4267721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987158b286819b6c28c43b62e2b7a223fe33e6cc","datavalue":{"value":{"amount":"+0.7366137504577637","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":"Q4267722$A2B3D26D-C806-4BF2-9E8C-FE51DD7B6942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441897fe7904c9e44fbfc08e8a7a55eaf5c3e772","datavalue":{"value":{"entity-type":"item","numeric-id":5392587,"id":"Q5392587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96189d2ff77e417a39a55a223b7f06ef7696e34d","datavalue":{"value":{"amount":"+0.7291025519371033","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":"Q4267722$6FF28E89-596B-438A-8FCF-F607878836E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f033303a564f8be1e94bb2505fd394b96d59e8","datavalue":{"value":{"amount":"+0.7277830839157104","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":"Q4267722$3017BCCE-95AF-44B8-B346-2A4257F12A29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4267722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4267722"}}}}}