{"entities":{"Q3192179":{"pageid":3202887,"ns":120,"title":"Item:Q3192179","lastrevid":52096601,"modified":"2026-01-20T22:35:05Z","type":"item","id":"Q3192179","labels":{"en":{"language":"en","value":"And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348225"}},"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":"Q3192179$FA9A57D7-20D4-4ECC-97DB-8D3DA8CF6770","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aa67d93af6730dfc98e4c2bd920376b7c34460e","datavalue":{"value":{"text":"And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192179$0868A8AF-53DB-4B2C-842D-4AC6899F0A48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a5a5bda3f810e2ed6aab2042ade1f939f9625f4","datavalue":{"value":"1423.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$470A6875-A587-49A0-8E69-1A302EF5567D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d07dee04995499efe2d80e53eaf4aacc0cc3c7fa","datavalue":{"value":"10.1007/978-3-319-08587-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$AF69DE29-9633-400C-8388-8B7897DADD41","rank":"normal"}],"P16":[{"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":"Q3192179$9F02DE83-0E1F-4F9D-B6FE-14E080EF93EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192179$0509D967-ECCC-437F-9802-3EE7D39E1810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192179$05262A94-0D4B-43F2-8DA7-D6F12D901C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beba1402100e93413633a0a000791edb88b7cb33","datavalue":{"value":"http://hdl.handle.net/1885/74602","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192179$FB6E00F3-8675-40F7-91BB-B9FA0F33CE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$AD6DE0B2-7B83-40D1-AA98-C0A97A486608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$1857B387-BF4C-439D-BA87-5CEF2D58C224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$14154188-677D-4A17-8BF5-80913B5BE011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$7B625AB5-7E00-4121-AAF4-F0817E07C3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$2DE9A524-D466-4635-A805-09356F625573","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b677dc3d67838acb8d20239461b1e5dbb79f9dfa","datavalue":{"value":"6348225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$E597ACDC-E07C-4EDC-A1CA-12A73FB0DC81","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":"Q3192179$C539BED1-B4A4-46BF-BCC5-C4ED98D5459D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5770738ce5fca2f5864c7b30451cb5544febb7f","datavalue":{"value":"W87797281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192179$044B8A68-0468-42CC-8367-6521608CECFA","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":"053cbdd7f59a68ccd939d4549906647556d51cfe","datavalue":{"value":{"amount":"+0.8138632774353027","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":"Q3192179$6245C9C0-06C8-41B3-B56D-6DDBAE067E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a0795bb52320f85a84aab63968a83468978487","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0cfcd31572cf39271360cf6556cbbd29b1aa8a","datavalue":{"value":{"amount":"+0.7991120219230652","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":"Q3192179$EC327302-3F83-470F-A8DA-8C48BED0EDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f031116377bc4b4fe320784a72230645a6a8d10a","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab42c102c0e23196ac2ad0ccea1ff8b424931c6","datavalue":{"value":{"amount":"+0.7976521253585815","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":"Q3192179$AF49A3EA-7EFD-4BCF-B75E-3175B19B13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8b0d0383c79431497177fe560a2953b859ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b20374187c30de58783fd21c81ffac3eac377a1","datavalue":{"value":{"amount":"+0.7976215481758118","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":"Q3192179$0C3524B8-56A3-4DF4-81B0-906EB172E2FB","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":"8885a6cccd0fa77fb1de8baee2bd06119f03e74d","datavalue":{"value":{"amount":"+0.795447051525116","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":"Q3192179$9717C9D7-6997-4AC3-93D6-7D333ECCEDCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192179"}}}}}