{"entities":{"Q3498455":{"pageid":5528358,"ns":120,"title":"Item:Q3498455","lastrevid":50357810,"modified":"2026-01-13T21:32:42Z","type":"item","id":"Q3498455","labels":{"en":{"language":"en","value":"One-Pass Tableaux for Computation Tree Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275833"}},"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":"Q3498455$A4E1DF02-D6E5-4984-B85A-D109A835CEC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8949da758d5960ee8336dd803daadb2fd0f8bc53","datavalue":{"value":{"text":"One-Pass Tableaux for Computation Tree Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498455$787A0E09-FA33-44AF-B726-9FDD5FBF456F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b42ae5a2503309253360838b4d580ab0a02508e1","datavalue":{"value":"1137.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$B2C0DC1E-41B9-4EAC-89CB-699EFBC2A40F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"460c499e8910c6fce0b8d4314d19165d50e2cb0b","datavalue":{"value":"10.1007/978-3-540-75560-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$AE986B12-2CDC-475C-88D7-112279EE2DB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9e2e2c588de7b328658aeae7b185fdf6ab2e3a3","datavalue":{"value":{"entity-type":"item","numeric-id":3498454,"id":"Q3498454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$3F5F52D0-0DB2-487A-8345-1B823EFB2577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$5C501389-FFE0-47E8-888D-BF9BCB509A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e1ab7ab2f148c27f932480a95ee9e0752f7f39","datavalue":{"value":{"entity-type":"item","numeric-id":2254248,"id":"Q2254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$C771711F-7CBA-4A7F-A204-155BC4FD4A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$D4438F06-0B4F-485B-9836-BFA93F29C4A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498455$7D055481-03E5-4D85-92BF-C99E09969A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$13A85A67-7195-4C88-88D6-24A52C49A00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$36DEE7C4-D146-47B6-9F6C-4E0D4605DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$B8CCBB8A-1169-4549-8B39-54E6D2E3DF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$F098E537-9909-4E81-BB1E-0CC48E308B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$BD361A41-36D2-4805-BC56-9711B947B0A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa52762c2080803de7155f7d6f036014d77ffec","datavalue":{"value":"5275833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$A5E25020-4D23-424D-A9C3-2A0EC29E4E0A","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":"Q3498455$E3AF3938-FC8E-4A95-BED2-62422A5B6705","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa3c706fe6bfdc4b538b9264ed22972a797e60ad","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498455$E55239B2-1881-45D7-8612-656E7FBAECF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"878fd1ba966304523ab85c17c9d58ca15884b524","datavalue":{"value":"W1551169644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498455$6723A8FE-8EF4-4F84-BB30-31A1BEFF05B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d48ed82b6a68c1d677b282d86b31cbfc7326a03","datavalue":{"value":{"entity-type":"item","numeric-id":4539600,"id":"Q4539600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$7BC8ECF6-899F-40A9-B3D9-93A093BD8792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cb8288f4bd70c7a0e1a5334ff31c1e7f21b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4012241,"id":"Q4012241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$152DF7EF-1F8B-47E3-88FE-D896E417BBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d5e9e4642a0101e333d76cc51ac21d65203c96","datavalue":{"value":{"entity-type":"item","numeric-id":862827,"id":"Q862827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$78EEAE53-E7CB-4260-9442-3D7B276A61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$6FBC8D0E-0BD8-4D3F-9DC3-ED4917DD682B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$A3A73F1B-0438-4EA7-B961-ACB86750B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$4F7D2591-38B5-4621-962D-D3D0CCFE49A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79adceaea1e40b4cad7838a35b0a0fd442b58ac","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$57114010-1CAB-4981-8EDA-C331EE11003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd02813a8078a61930a3aa18cdfa69a8c379c6c","datavalue":{"value":{"entity-type":"item","numeric-id":1294793,"id":"Q1294793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$288A9DDD-2D0B-4765-8900-31AEEA119404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd95d66a558d3523482665852ecce7912cb81","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$F38D3EC6-C24C-40B5-AF89-38CECAFF06E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$E2769569-2409-4F9C-AC93-932B9B8DE826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc207fadc6ba9564432e7709593a9b3cf923d465","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$D2B6608A-E4BB-4940-8D38-8E9957C13365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a558400f2bb62e1d7bcf010a43dc3c3b0c64e318","datavalue":{"value":{"entity-type":"item","numeric-id":5897785,"id":"Q5897785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$6B77EF04-D3CB-44ED-A87A-6860377C57FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$569F0DCF-12E0-4782-8495-1A709BB1C68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab7350d19158809c2398852d4e1d099edc012c2","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$17D77A27-1D29-46C8-A017-58CBF77C50F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$665B6612-E282-439E-A607-CAEEB966D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c09753d5cd71d7b3115c41b9e9bee843bb5e422","datavalue":{"value":{"entity-type":"item","numeric-id":3184509,"id":"Q3184509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$CBE8521A-ED8F-4B8D-9568-324AA65C0E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498455$1B3A977F-C95E-4B01-B90A-0F847E1AD18B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fdd2b6ccbc5de5a4fd4b3769b87607fdc61b98","datavalue":{"value":{"amount":"+0.8669936060905457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498455$52691BB5-1D26-46B2-9955-8B85367D7010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337315712da885cd327294fff0fdedb0ae6c4378","datavalue":{"value":{"entity-type":"item","numeric-id":5897785,"id":"Q5897785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7701eaa593f598ce70dc281522d20bacca06451e","datavalue":{"value":{"amount":"+0.8375045657157898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498455$6E2E72D3-46AF-41FC-9984-3717C798F6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034fb3511ad172b210e4e9cba1d3a2247cfb13d0","datavalue":{"value":{"entity-type":"item","numeric-id":4992506,"id":"Q4992506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5945fe5973b884f6c2126f8bf6d27ebaee290d","datavalue":{"value":{"amount":"+0.8280555009841919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498455$CE6320B6-E3AD-4AB0-B302-C9C110A05E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac09822a4be94dcde98d1a8147322cc63e385b32","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0e65494600eb0f4e2cc99bdc23ca6ec0b0ff86","datavalue":{"value":{"amount":"+0.8259463906288147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498455$1BD7533D-D552-4B35-A39C-F87CB12E4CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938a5bcf161eb652beff73a49b351be152d96b6","datavalue":{"value":{"entity-type":"item","numeric-id":3437260,"id":"Q3437260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262e6d97898f88d76b758d620dc67c261a6511f2","datavalue":{"value":{"amount":"+0.8235597610473633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498455$F888CF49-FE1E-4535-80A4-7C8124537F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498455"}}}}}