{"entities":{"Q6560379":{"pageid":14171534,"ns":120,"title":"Item:Q6560379","lastrevid":40560683,"modified":"2025-03-06T20:12:55Z","type":"item","id":"Q6560379","labels":{"en":{"language":"en","value":"Interactive theorem proving and finite projective planes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869792"}},"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":"Q6560379$B0D08A7B-09DE-4D41-9F64-3746D1FA1E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24272e98c5b06b232223d284b497ffd7d99e7d16","datavalue":{"value":{"text":"Interactive theorem proving and finite projective planes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560379$DB8D7B40-5FDF-4EF6-ADE8-DB8DDA28709A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11a9a26e1b756d73294d9e40f8ee297e44d978f2","datavalue":{"value":"1541.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560379$8FCA2F95-1C2B-46E3-B54C-728A341EFE34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"157c72fe71c3d822622b225be48e3cdcbad46841","datavalue":{"value":"10.1007/3-540-61732-9_61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560379$4AE5C4E9-72AD-4A92-AE62-56D243B8E496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbeece60da5ac6bd26e4c2bd7db1f9858f8e4c77","datavalue":{"value":{"entity-type":"item","numeric-id":206548,"id":"Q206548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560379$BB0616D6-BDDD-4B7C-84D1-B7A4329B8F69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560379$EBCF47EA-3A0A-4CD0-A9DA-D4DDE7AE4D12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560379$242AA987-CF26-4254-A719-616AAC4E49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c63103ce8df0d554169bc6e327330dc10cd6724e","datavalue":{"value":"51-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560379$0616A2F9-6C1C-4780-8040-E5B6C025E419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3fd9b3464d5377e9ea4754230e8e8757563cdcb","datavalue":{"value":"51E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560379$DF4FCEA1-2B74-4B46-8B13-C2E77708A468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99b0cd1464c128e38e59592c4f32ec4572b34622","datavalue":{"value":"7869792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560379$45443BC8-3D22-4C0F-BC9E-1EE051A94363","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":"Q6560379$C3B9F864-1A90-4D2F-9FD9-A4CE9816EE1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff64206d60d51de708c7c16742c89089b213c602","datavalue":{"value":{"entity-type":"item","numeric-id":5545191,"id":"Q5545191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560379$4D15437F-3CC9-4E9D-BDE2-2C27DBA29086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8f8086d2dff2341f5b93b3861578099fa35ada","datavalue":{"value":{"entity-type":"item","numeric-id":5683869,"id":"Q5683869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560379$093F430B-A730-4CE7-8F5E-D4D4D7721BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e016a3c8ca2ac05d4f722a308e7e947547828ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3851217,"id":"Q3851217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560379$658DB3EC-C2F1-4D61-AF65-CA91D5EC9818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2da78aec93525fed321ee661377c81ebf230a8","datavalue":{"value":{"entity-type":"item","numeric-id":4764143,"id":"Q4764143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560379$D72577DD-3A02-49F4-A348-85F2E7375AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e649b218aaa3917c6246d33006bcd70d5596c5","datavalue":{"value":{"entity-type":"item","numeric-id":4373365,"id":"Q4373365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560379$6813699D-AF14-4BAE-9A52-CEA5F641C566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560379"}}}}}