{"entities":{"Q7034880":{"pageid":21712164,"ns":120,"title":"Item:Q7034880","lastrevid":77522519,"modified":"2026-05-04T15:30:29Z","type":"item","id":"Q7034880","labels":{"en":{"language":"en","value":"Stepping stones in the TPTP world"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977145"}},"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":"Q7034880$1AC2CEE0-0937-492C-A210-EE464B53BD9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"138122ff175a3aef6ad428405d4da7e3e0d61bd1","datavalue":{"value":{"text":"Stepping stones in the TPTP world","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034880$F2223E7B-622B-478B-BB35-0875EFF6D433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed420412c71b482d98ba9c35ba0ff4f4efadf03b","datavalue":{"value":"10.1007/978-3-031-63498-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034880$0AFB01FA-4F15-468F-9A5C-0FCB3F170D74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$529B0809-27BB-47B0-9DBB-1F03E8997FF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034880$C893C644-4FCC-4192-8CFA-177D72A76F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034880$19E9DF36-2928-4013-AA90-99B1A7FD0A9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f63446ebe184171b214c98497ab787d5f924dc53","datavalue":{"value":"7977145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034880$B46237DB-47B0-4CA8-A78F-632103063D63","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":"Q7034880$D2CB30C9-0C80-479D-8685-975CEE391E43","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":"Q7034880$82F2E921-D371-47B5-BCBD-59BE276AA950","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$5CC01267-A926-4C1C-9B20-A6D8383C6722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$7D0FF73B-83E7-4269-8D27-D93A270A8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57ae34ae72d8b1a2535f9d0702a9257e7c40404","datavalue":{"value":{"entity-type":"item","numeric-id":286784,"id":"Q286784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$F5701F6B-AF90-415B-A65D-7CC2C33EC3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d27337e4f1745577e0d9e4c6b188a997dab5fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1098335,"id":"Q1098335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$7EBE936D-819F-407C-B197-DC3581EB2265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$637A7471-D145-4FBF-B465-4E9C63F1F7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$606E9CD1-B511-480B-B967-675A72AA96A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378cb8facb2a4cf0a54cfb6889ed887dc80a3a31","datavalue":{"value":{"entity-type":"item","numeric-id":1893130,"id":"Q1893130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$67BD7495-3680-4E31-9566-45624B89E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aefa01969c4c5ab3568e4445e95ff48e256399","datavalue":{"value":{"entity-type":"item","numeric-id":4095910,"id":"Q4095910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$38C4702A-2945-463B-97F7-259711C9C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c889261324602a243f12016bb548fa29e315d0","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$F932E811-FFBF-4632-98F1-BCD2BA021538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$32D00466-8A9D-43E2-9E1D-DAC2B3414009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$0BAC7E32-2F56-4982-AE69-48FF55271635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9e9c7ff207f36939585420da3be0c8db2297ca","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$F8F01BD3-F3D1-4D3B-BB25-90D7B4F53F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e3dcf8d17a4bf2ebc16dc465d8fb6ca2c9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$B92606F0-1D83-4A5C-995D-F8E01A3A542D","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":"Q7034880$C3D8158A-6DF0-49C2-8A31-E71B54D9A159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830cc442175c3fbcc9e8040acd1051edc376d0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2723436,"id":"Q2723436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$093565E8-521F-4979-B945-49D1F754747E","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":"Q7034880$B7F5D2BC-F529-4A21-9419-9542607D2DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$7FE14CF5-546C-41F8-9A14-CE95DDBF698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4acf12f6f2468476af5b80237d12aa6e90faaa","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$E24B7CBB-B68F-4E20-9C53-7FEDA69FAE02","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":"Q7034880$8358A813-6FA7-4E39-8C1D-6A4B45ECD1C8","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":"Q7034880$7F70996C-1198-4DD9-BECC-C03C6179DD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$707D3ED8-4187-4B25-A1DB-41BCC8EEF06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ff52d384e7c01e04f5fa60b20109af6d6632e2","datavalue":{"value":{"entity-type":"item","numeric-id":7034879,"id":"Q7034879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$12AC9A37-9511-4995-9522-28827F834B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e0edf0e28b481677ec6286aff34ea615b8e86","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$926D6163-0920-4F9A-8CD8-563E2302849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e78f3a5cbdcade8fda91d2f65f010e0adbc083","datavalue":{"value":{"entity-type":"item","numeric-id":3613401,"id":"Q3613401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$95728574-833E-4D17-A87E-E87B3E69AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$2D722D99-F143-4D92-BFB6-45DA1A297FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$98B7B39D-E0AC-4717-A2C2-35504218B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d88e8214fc05d7111bfb1c0e54ac7e886bdc6f","datavalue":{"value":{"entity-type":"item","numeric-id":2867942,"id":"Q2867942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$A7E1DC26-6151-40C3-87B2-8ACC014331A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db313ff073ef9418f8a2ae12f236c0d8494fe4fc","datavalue":{"value":{"entity-type":"item","numeric-id":3613406,"id":"Q3613406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$8E632808-BAD1-4295-99E1-1E235974B85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75089528348e2ee7d07dc2ae126b0ed3005ed24","datavalue":{"value":{"entity-type":"item","numeric-id":4096460,"id":"Q4096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034880$5F3667B4-07A5-486D-899F-FDA8AE5BB76E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stepping stones in the TPTP world","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stepping_stones_in_the_TPTP_world"}}}}}