{"entities":{"Q4647529":{"pageid":6677110,"ns":120,"title":"Item:Q4647529","lastrevid":36461873,"modified":"2024-07-17T19:48:54Z","type":"item","id":"Q4647529","labels":{"en":{"language":"en","value":"The tableau-based theorem prover 3 T A P Version 4.0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001919"}},"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":"Q4647529$8B6CA113-748A-4765-BBE8-E71AE3DE34BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2f228e90853d14195c6b13d0e0151946f9740a3","datavalue":{"value":{"text":"The tableau-based theorem prover 3 T A P Version 4.0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647529$9C6ED419-CA2B-406F-8414-F1B8BB91B762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"967764202b8b0640ea72794051fc5aa30ebb59f9","datavalue":{"value":"1412.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647529$58C28358-265C-4C0F-A021-A0F617127636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8776e06bd180bfb67ee6bc19352c049c7b98cae9","datavalue":{"value":"10.1007/3-540-61511-3_95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647529$3FDF1767-9072-42CD-8B36-62934A40E48D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$BF7596E9-02AD-44AF-80C7-E34B12D18B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$D4936BE9-E935-4B4D-A2A8-E176D463EA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3c8f538c7803cef2adaae800b8a6c07680e50a","datavalue":{"value":{"entity-type":"item","numeric-id":4647528,"id":"Q4647528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$C8660B7C-E2C0-4FB1-AE3D-3886BB3DF07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$9CEBFCC7-7B34-40C5-A2D7-E5A78B86545B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$4535312B-3DFE-4302-9B36-1FF65E6E9409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647529$98197015-73DC-40F6-8607-59DD14E2E52E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647529$59B10686-061F-42CA-8F83-B7C3083B9059","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3beb4cf2a7bc63c498167f2f12da04f876943f6","datavalue":{"value":"7001919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647529$C2EC3C7B-B535-4188-9224-343E7FF75F64","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$38F1C846-8134-4824-BBD4-6735AE40CE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7ae9697ba460da5b1ef21e479b4fde31e616ec3","datavalue":{"value":{"entity-type":"item","numeric-id":33351,"id":"Q33351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$C8A6664E-9A55-4E6F-8E48-D5BC76894349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e789552fbc9aecbb651052e981d7602fa3ea5d35","datavalue":{"value":{"entity-type":"item","numeric-id":38054,"id":"Q38054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$8203DA6B-1F80-4316-A12E-2B16887F5DDE","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":"Q4647529$EF1A1CF6-3C46-44AB-B6C3-153ECE8E3B9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41dec9334fc681f6cb92ba806ce89eb8885d7e5f","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_95","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647529$4ECAF3CA-2753-4E74-B55A-D9E847D52D33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c536c7504e5887eb63c89624824b3ad0dd142cd6","datavalue":{"value":"W1720975781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647529$83C37056-0840-4C4E-994F-294037E60E28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9461a009d0db348802cd3409cfae7c2097cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":5210805,"id":"Q5210805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$07385127-3F6C-4A81-B09E-7B5A7B96CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa0deb258d7a3efa5179c0109b19150f474129a","datavalue":{"value":{"entity-type":"item","numeric-id":4647529,"id":"Q4647529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$51931445-993E-4E4B-BDA9-F7A47239E7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29abb5a7232f6e8dd451e3b515a2566e5399de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$D798EC0E-2547-4461-98E8-68FBC95A2FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f3cffb1fafcc40e0a6784aa94a9616f4b841d2","datavalue":{"value":{"entity-type":"item","numeric-id":4645229,"id":"Q4645229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$7B069C56-8729-46DB-8C93-0223DEABE3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$81794C2F-F156-45DF-B65B-195E9C0E47CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$5CAD9EF4-5FFE-4E93-8299-CDBDF6C93D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$B90720B8-111F-41C5-B626-1399AC100141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce7703f54181fe1f7b003e9fcec0b7d8ea4f1ae","datavalue":{"value":{"entity-type":"item","numeric-id":4281690,"id":"Q4281690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$51D40C5A-9BF6-411B-A295-C5AB8548F59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$C4B575F3-EFF1-448F-B9CB-A6B1F7035FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f72607b281388d778249d6d353d65dccf12f53","datavalue":{"value":{"entity-type":"item","numeric-id":4282514,"id":"Q4282514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$3A611A90-15B8-40F0-86C3-E0BF69050097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$A0C61103-1B4F-4373-9AD0-28C55330104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$F0447C25-8F18-4490-BE06-9DBD52A5DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ea9c311e65995e262c8370d246b292d6dc1bcc","datavalue":{"value":{"entity-type":"item","numeric-id":4858951,"id":"Q4858951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$F84E4D67-F634-4C3E-BCD8-73C8E89002AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b6db54ea89d2d92e7b3ac7acefa676a1537b39","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$0C71F1B1-C109-4853-9A09-C68C005C9E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afb8d07f32ecb5cd5d32645f937af7c81f372a1","datavalue":{"value":{"entity-type":"item","numeric-id":3181122,"id":"Q3181122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$55478D4D-C7FB-40D5-B1C3-E5EFF9577C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647529$F9660FF9-1B9A-4C27-9234-7FD60399B0D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647529"}}}}}