{"entities":{"Q6083695":{"pageid":13218002,"ns":120,"title":"Item:Q6083695","lastrevid":41176522,"modified":"2025-04-18T17:38:27Z","type":"item","id":"Q6083695","labels":{"en":{"language":"en","value":"The Alf proof editor and its proof engine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774596"}},"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":"Q6083695$5D69EB83-D478-4D07-91EF-B976F1C33591","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dde2f8e37c562f756c9c0d944ecea7666fffe51","datavalue":{"value":{"text":"The Alf proof editor and its proof engine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083695$E8F75CFE-C412-4A2A-9340-8C68EACB2E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1fb02b1403681a377897991871b7e252bf46be1","datavalue":{"value":"1527.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083695$C7C873E2-DA46-4BB9-9E57-9A6293E51824","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7262917f0917175edad03a66f40e7617a554977c","datavalue":{"value":"10.1007/3-540-58085-9_78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083695$E67C29B6-C6EE-456F-9327-634997DC0BF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8541a6980a07ae653eb33908f7ae5402497c4804","datavalue":{"value":{"entity-type":"item","numeric-id":4647579,"id":"Q4647579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$E606DE20-BBD9-4121-874F-AFCBF50F6BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eede50a5b3b0c8cecc2408751b26204b77b99d90","datavalue":{"value":{"entity-type":"item","numeric-id":800717,"id":"Q800717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$9FD96BCA-06AF-41FD-8B50-C95F340767AE","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":"Q6083695$6969C79F-BE67-455F-9354-6A9BF7726DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083695$E65B0DB4-EBF9-41F6-ACE0-E9FF6BC5AB66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083695$40EE87CD-D514-469B-A5EB-95C47BF525C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c92f283bec6e4ab37eba05e7b7e6144c9b41c9e","datavalue":{"value":"7774596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083695$4AF1B7F2-1731-48F5-A81E-C56016FD0235","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":"Q6083695$9C208022-C346-4676-A3E1-70DFF272F571","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"969a6c52fb0579ea7bbcc904fbce94d910a9d037","datavalue":{"value":"https://doi.org/10.1007/3-540-58085-9_78","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083695$84B4D171-7E7F-4F54-BFBE-281ABA4CA932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c11a2810db8369014f2eb3b37bbd048c13269e1","datavalue":{"value":"W1564971179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083695$C5C05BE1-60D3-4FB1-B403-B847B8FAF0DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$215A690C-E69E-448D-A2D4-65FC0688B749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$3641F54C-8331-4343-905E-A8A20B9491E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d815032a9222574f9ee6391d2a7c90b0f09e9","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$6EB646E3-AA5E-49AC-A128-B0F9D33487E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c25358477122b4737549d52e354b2ddfa62bb","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$3D00003A-8C3F-4918-BAB3-24F5A90199E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$6C0FCF4D-D7BA-443C-A724-CF91278A073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$3206D4FD-C541-4B9E-9A37-7A75FC79A7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$8D5D6BB8-4B2C-424E-BB5A-E28B3DD6962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$022957E3-D0CF-475C-B4BB-8848D8AB38D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a53c9ec1ed01dcb444298314487a4908d29766","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083695$408CF2DC-CB9D-4662-8346-444BE16A9FC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e94b3de76f3d652ef5542e4c8063d28441596d2","datavalue":{"value":{"amount":"+0.8581666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$67D66889-6DF0-4E44-9561-EE9B1843DF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da29fb4585f83819ad19c59d35974fbafcf9e03a","datavalue":{"value":{"amount":"+0.854364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$C8E1F546-DE05-4473-B28E-54769FAE81E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9309577822db3b21e2b3a967403d44aa61bb595b","datavalue":{"value":{"entity-type":"item","numeric-id":5387844,"id":"Q5387844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4ffbc8c4bc3ab487e129ae344f19ab3da2bb5f","datavalue":{"value":{"amount":"+0.85288465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$56E4DB5D-9890-4D57-8904-2A44617D819C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ba175c3b998324dfef7b31903800589cbb12a9","datavalue":{"value":{"entity-type":"item","numeric-id":2767009,"id":"Q2767009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f511f929f5c2d1676bd3dd58567339afcb96d617","datavalue":{"value":{"amount":"+0.849189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$FC06021A-BAF5-4AD6-814D-9930134B03AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d73f39f270930c50372d27abce923aee4be3de","datavalue":{"value":{"entity-type":"item","numeric-id":4279075,"id":"Q4279075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60785646f6dcd3e7cc250c35f6238a9eeb2b6035","datavalue":{"value":{"amount":"+0.8423177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$466A9881-6663-4566-915E-4BD08BAFE05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b3719580fbe63dc866cdcce498cd70b924723","datavalue":{"value":{"entity-type":"item","numeric-id":1199928,"id":"Q1199928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7cf7d402d3c525cd3d1b88ef569d695c72e414e","datavalue":{"value":{"amount":"+0.8417113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$851D7C1D-9BF2-4661-B789-B39FE7AEA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35440f3565b29438cee9a9ef87bcf1820d1ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5464714,"id":"Q5464714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dce3f17629f2ac198cca928c2a45515ab34baa9","datavalue":{"value":{"amount":"+0.8399357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083695$3814DF5E-C873-4613-A1C1-A88D654D5547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6083695","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6083695"}}}}}