{"entities":{"Q6488566":{"pageid":14067335,"ns":120,"title":"Item:Q6488566","lastrevid":103341374,"modified":"2026-06-06T07:12:03Z","type":"item","id":"Q6488566","labels":{"en":{"language":"en","value":"The TPS theorem proving system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680839"}},"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":"Q6488566$8DC2DC67-979F-4DF8-88EF-D4002F9E82AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5cde60ae38b115b01d198f0af2cbf69739cf254","datavalue":{"value":{"text":"The TPS theorem proving system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488566$0E3C93FC-50A6-44CE-913D-B97B88586953","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73a8085b4e0593ce7acf5f38f020182f827d6b5a","datavalue":{"value":"1509.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488566$DFD5E888-6D4D-4885-B0DC-62BA99F269B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8463c42411dc6b8ae07fb2d05740f973e830105d","datavalue":{"value":"10.1007/3-540-52885-7_120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488566$F0464C93-450D-490A-87EC-EC8F69CC98C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$9539C42B-0224-4833-A30E-65F73224F7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2f90326da5cc0613e34d2cad79177f7a63d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1923823,"id":"Q1923823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$60B13BFE-F564-4B19-8728-9829E54096FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5142db60e241e9efa97b6c4d4e4ba75e7214a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1923824,"id":"Q1923824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$F70A79DF-7BF2-4663-859A-FCC046116093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$D9EF0B27-11BF-4960-91C6-BD9117A2A487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488566$A12E079D-958D-47B4-B0C6-EED8D2DBDE5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488566$872F957D-7C98-44BB-B817-90674A270147","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb7b644fd491400ec7053aaf9f0c44c98b593f30","datavalue":{"value":"7680839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488566$6273A382-C9C8-4AC2-8354-B966BD5D8B1D","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":"Q6488566$1C80E36F-39D5-4FE1-A9E4-3F8E28CE988F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$2696A3F3-2C22-4D75-8AB5-27F0F893B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$EADB5307-9290-4E86-90D0-49052E35EF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$410E5690-D838-411D-99FF-BEE10AE913E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9bcd6de80d754d0bd924080fd89dc42324b80b","datavalue":{"value":{"entity-type":"item","numeric-id":3795649,"id":"Q3795649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$C031F379-6C8A-45D8-8A78-D7890A57B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$804BA6FE-0D88-40A2-9C84-23FC2F197C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$5CB0C4F8-2C2C-4432-981D-C9FA1C0DF1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a782dae04bccdcae6268f44742e68ac18ada1a","datavalue":{"value":{"entity-type":"item","numeric-id":3338232,"id":"Q3338232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$033388C7-FB16-4096-99F5-C03B81761460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$4C3F6341-C23F-453E-983B-473F196E655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cb14dabb49ce81b914063d4d765de30bcb45f7","datavalue":{"value":{"entity-type":"item","numeric-id":3338233,"id":"Q3338233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488566$C4D58157-D0A4-4BA3-B84E-4E00D47B747A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The TPS theorem proving system","badges":[]}}}}}