{"entities":{"Q5224569":{"pageid":7254138,"ns":120,"title":"Item:Q5224569","lastrevid":91627043,"modified":"2026-06-04T23:39:27Z","type":"item","id":"Q5224569","labels":{"en":{"language":"en","value":"Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084835"}},"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":"Q5224569$B63DFB3B-7A81-41BD-9766-4F68D264DD5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee2ef2d7417b8cacdcf4e35735abef9ac3f48752","datavalue":{"value":"1418.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224569$24156BD7-909A-4A8F-838F-7636B5004B1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"940b4c6b0d2b23f53f32eb3a07da0cfde7bc4de3","datavalue":{"value":{"entity-type":"item","numeric-id":5002807,"id":"Q5002807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224569$0B4FC743-3DE1-4206-8CD6-A017016B81E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224569$76AC12D9-9827-4DCA-841C-E752BE496125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224569$4A6B0540-90A8-448B-B4C2-6D6567EAF080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224569$5821E82C-538A-4E71-9B8F-E8EF591984BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224569$E0ED9457-6397-4E92-BA5B-8E72679911AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224569$852C5C05-59ED-4204-AE55-7011F70CB662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c2d162671fb5726eac13e63a4313e9c239fdef","datavalue":{"value":"7084835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224569$AFEFB4DB-8D3E-4778-8858-3EC712CD7F36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224569$3F679DD7-96F8-44CF-826B-CF7B7CBC3785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8710469ffca84c2b78192dc934d39c361fbb6925","datavalue":{"value":"chain monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224569$5CD0830E-3C44-445F-A28D-CC9F3DCAA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6df44f3c01e8feadf712d5ccd5e9ace18b51d1","datavalue":{"value":"epistemic planning synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224569$1D991372-4803-4CDE-B680-B9ADBDCA2322","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":"Q5224569$A36D3020-5D42-4D71-AB3A-D901C10CFC09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c177119861688b700f2449090abc76bc578c8a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4994896,"id":"Q4994896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa2ea155ff73fd6fedc35e51d15745b19a200b6","datavalue":{"value":{"amount":"+0.7349972128868103","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":"Q5224569$C3ECF025-0FBB-48E0-9DCA-A95A4F64D975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca354f7567ebd2dae087694699d3106fe2c1d634","datavalue":{"value":{"entity-type":"item","numeric-id":5015399,"id":"Q5015399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cd7fa1eae4e670c37d1290bde10eb87ed8a461","datavalue":{"value":{"amount":"+0.724473237991333","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":"Q5224569$94738E5C-1EBB-47C5-85A6-DB9883EF24CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6feceb9d8df0c454c1b7226f9a2993237223248b","datavalue":{"value":{"entity-type":"item","numeric-id":2915062,"id":"Q2915062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ae6ec08deef03a1cffc0988da650f163b7aca9","datavalue":{"value":{"amount":"+0.7221403121948242","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":"Q5224569$152FDAEB-DD39-4EF3-8BE2-196DAA8BCA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02359dd02b01a399e99c714b80ebe744eb86eebe","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d831fe2259e37f0845d35297724908d59ab9200d","datavalue":{"value":{"amount":"+0.715417742729187","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":"Q5224569$0E3BCF80-ACD2-47B7-8229-0049F9461817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1990bcd9d5aabd531305be39c8d07738991a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3332ddc4efa9f031a9df894ede585f48a9211dde","datavalue":{"value":{"amount":"+0.7151342034339905","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":"Q5224569$4E005D6A-AF18-4306-986A-1C5FFA74B2A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chain-monadic_second_order_logic_over_regular_automatic_trees_and_epistemic_planning_synthesis"}}}}}