{"entities":{"Q6869945":{"pageid":20716261,"ns":120,"title":"Item:Q6869945","lastrevid":84234125,"modified":"2026-05-14T00:22:42Z","type":"item","id":"Q6869945","labels":{"en":{"language":"en","value":"Interoperability of proof systems with SC-TPTP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149359"}},"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":"Q6869945$7E780157-225B-4312-B443-CC6D47A6A255","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16c89b5125e278b176d1929ff89ee2881587a43d","datavalue":{"value":{"text":"Interoperability of proof systems with SC-TPTP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869945$C881244E-BF3D-4438-8694-7204165869C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3a7598330a40148a7767b58ac1f927c27530ac1","datavalue":{"value":"10.1007/978-3-031-99984-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869945$D3F1F895-4A5B-41F1-B705-70084526322C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5aabbf720e1cd478c0be38d8beb76588268c1f","datavalue":{"value":{"entity-type":"item","numeric-id":6443828,"id":"Q6443828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$58B6AB3A-2FC8-4B6B-98C0-60C0C199E39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cb8e27c4088401d5456a3fb30c2a0b71a6c3462","datavalue":{"value":{"entity-type":"item","numeric-id":2104522,"id":"Q2104522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$5055D3E0-7A55-4301-A711-240EC54C48F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4a90cd72f7c5fa218b2a9d44c3629e3075d0e2e","datavalue":{"value":{"entity-type":"item","numeric-id":6642996,"id":"Q6642996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$E1C6B6FD-64C8-4576-B240-179FF15966B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bb2d4cf1421a08a3b477265c531f8dd14ac8d53","datavalue":{"value":{"entity-type":"item","numeric-id":6869943,"id":"Q6869943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$B114E3FF-F145-42D0-8839-ACD7A664CF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11008aec6955c32a54fc08e7c978ab8582b30ea6","datavalue":{"value":{"entity-type":"item","numeric-id":6869944,"id":"Q6869944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$4F08FDB0-BC06-41D1-85F2-2435AF96E9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79819ff81a74987ebd3fd51fb54c3d9e9318c67","datavalue":{"value":{"entity-type":"item","numeric-id":6258021,"id":"Q6258021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$2C5C62EC-A100-4310-A1A0-1C17329B6B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$867C7A70-E1C1-4B84-B8DB-13B31CEC8771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-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":"Q6869945$3361B50F-C99F-490B-A47D-F6102EF193AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869945$E0B90661-46B0-450F-9650-DB9DC1A8635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869945$48A6E773-3E08-4924-9B87-DF5E0D5B55DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869945$F76C36E7-9C57-42FE-9AA3-F3948C4D3153","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dda878c2d44f44984b60c56f01e05412b2a2af8","datavalue":{"value":"8149359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869945$B9D14E3B-4DF7-4509-BF1B-B7D2169A8550","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$B42159EC-ADA1-4399-9820-50A2EB79B8EE","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":"Q6869945$0B40B987-9F80-4777-AD08-2B2DF84DD09E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb15445443b7a8677c7ef043ed8530f20d54b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":3100209,"id":"Q3100209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$75521357-FD29-426F-AEB4-00960C0C33BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ca373aaf79c485001675bd936a28ef2c814c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2892685,"id":"Q2892685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$3EAA43AB-6769-4CA0-B2FF-92551F13CB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7518b1302b421727bc51952e31ef9eaefb0e3f","datavalue":{"value":{"entity-type":"item","numeric-id":6157247,"id":"Q6157247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$6BC83BC8-FB04-41B3-B7B6-0E6E46417918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$54DFBD24-22C7-40C8-954E-5C3AA45DE7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e023b28912e7a083da0c1a3a943222492109c1","datavalue":{"value":{"entity-type":"item","numeric-id":7025200,"id":"Q7025200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$B1F8E256-D6A5-42ED-B30D-B17875C39AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93b9148de1ac8feaebf7881241c315fd260b962","datavalue":{"value":{"entity-type":"item","numeric-id":6488808,"id":"Q6488808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$0B870A17-61BE-4298-8AC0-F9AD4A373C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efeed698c61c9d4088905eab8917123fdb73bb41","datavalue":{"value":{"entity-type":"item","numeric-id":3100212,"id":"Q3100212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$31A94BAE-C68C-4791-8C75-E977032DD191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494aa31720bff090f87eabeb86ce7380ba058cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5747649,"id":"Q5747649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$A4BE9823-23E5-4C89-AB21-40F163E88585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00230673e703c339b2d770b71ef179a8241cadd5","datavalue":{"value":{"entity-type":"item","numeric-id":2270573,"id":"Q2270573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$AF8FF140-2D03-40BD-953F-9C27DA41A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de66456d0982b9e07ca51cdf5d084090ac8dea2e","datavalue":{"value":{"entity-type":"item","numeric-id":2104525,"id":"Q2104525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$AF61D5B4-CF29-479B-AB50-203B85C2A701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$7A1B863B-70D8-4B4B-9C5F-56D8AE6242F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$2A5FE192-D957-4138-9C03-6707207F1021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$DBC5488A-16E4-4869-A503-3B4CFFA66BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$A7A79CDE-FE65-44C3-8DD6-1AD288517E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$5F8850A5-584A-4C8B-9EDD-8EFF3A8A29F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add0383d7964e5f1c576573333edf547724ab3c2","datavalue":{"value":{"entity-type":"item","numeric-id":6642997,"id":"Q6642997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$3C3CDF2A-AD01-4DEE-AD89-8E4D865CAF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$283E3655-3D7F-4A2A-9D2A-3F5F04691FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$A9CFFEA5-6610-4696-A517-610EE5A51139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b26606a781175a19b1c8fcba43abdeea964791","datavalue":{"value":{"entity-type":"item","numeric-id":2848688,"id":"Q2848688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$2145CA10-E376-4858-8500-DED1E5024DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$CA4299C5-6891-4F32-977A-FF99E79BEA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5791c716254aa1932faf4df96272562ac819ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5703869,"id":"Q5703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$6F06F293-8E8D-43AC-A6F6-A7CB7FEDC70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$DB91A010-97DC-46DF-AFE8-166ED7A16859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$583BB69E-7B04-43E2-BCFE-10E20E68E60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0ac8d79dfa5f849bd69bf8ebc0f6af5e2175b3","datavalue":{"value":{"entity-type":"item","numeric-id":7025185,"id":"Q7025185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$236F239C-1254-46E8-8A55-26EB5EA2F8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$341F0910-1D8B-4F21-B014-86ABBE829AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d2acfca0f5dfd32b373cf14812fef011284ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2055877,"id":"Q2055877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$282818A8-B795-4FB0-A6DC-6CC7B1E4E98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4e9b71792220f050b9daf27c1fd409ef1133a","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$A12535E5-2825-46C4-A5F5-07A1946F739A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$12E50B83-8179-4362-AB3E-3D06FF7BC0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775c0fbb82731a41620bf40f868b011533300a54","datavalue":{"value":{"entity-type":"item","numeric-id":6200767,"id":"Q6200767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$C41323EA-D294-4E71-8FE3-ADC4118D00C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$03EA7FDA-173F-4CB8-8843-6F6A6F6D7E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54fa82c3ea7723e51af93bb3b55f6886e7c2167","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869945$6F6E13B1-E8C8-4DF9-884F-A8F7D3C4DCAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interoperability of proof systems with SC-TPTP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interoperability_of_proof_systems_with_SC-TPTP"}}}}}