{"entities":{"Q4635899":{"pageid":6665480,"ns":120,"title":"Item:Q4635899","lastrevid":58314234,"modified":"2026-04-04T16:41:38Z","type":"item","id":"Q4635899","labels":{"en":{"language":"en","value":"Monadic second order logic as the model companion of temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863511"}},"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":"Q4635899$8F1F3A6F-547E-44EB-B8A1-D77E7750237B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"104bd73b92b764c4c7f047535378660011333629","datavalue":{"value":{"text":"Monadic second order logic as the model companion of temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635899$0E761485-A0AB-4E8F-9C12-EE743871E728","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e44eac9e610a047209a5c105df2c5e475b2eaaa","datavalue":{"value":"1394.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$70B8F367-BC5B-48BD-8ECB-C139DFD6099A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33a4e7ff43bde41592b700c2a3b972df61012695","datavalue":{"value":"10.1145/2933575.2933609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$72E9425A-6EDD-4900-9AB9-A95358A0AACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635899$333DF4AC-50BE-445A-8696-7D8CB52CEC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94f8ee36125f5afab5b4bc39a72d674d800a7d0","datavalue":{"value":{"entity-type":"item","numeric-id":390414,"id":"Q390414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635899$025B1B1C-E0C0-44D4-AE38-55367421D038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635899$005DF2DC-B96C-4D29-B11E-6AB4B3399409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635899$191EE396-151C-4DA1-A9BE-E787A9D550FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"489243648b6dac1ffc25e7e380ba36bc0e92a10d","datavalue":{"value":"https://arxiv.org/abs/1605.01003","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635899$8F3A3A65-BA7F-4A75-9935-44DAEE534F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$7AADC604-D9FF-4A5A-BC06-A6BB72CF4E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$B1E22133-8469-478D-9043-C6405AF95088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$D0D92DD6-FCD4-4AE4-8486-8E0C06F548D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$E42612CB-0A3E-449C-8B05-034E17CF43E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4069f9fd0c2aab094db9a5199e13c37dce428a2c","datavalue":{"value":"6863511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$D0716171-0CEE-4450-A79F-E73426ACA61F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635899$FCE240C1-AABA-4244-99B7-3D0C94EB5337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990def007608e05fc66a0b45098dec81fd2ae877","datavalue":{"value":"model companions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635899$A5FBA840-FB38-425E-B7C8-8976652AC3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635899$BAE11957-0886-448B-B3C1-A52781F97D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635899$BF023303-63A4-454A-A93C-6477C2AC1153","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":"Q4635899$802F857D-E26B-4967-9643-18EB71EB938B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f3b7c4c45982527fbee7c8657bf4396112e69cc","datavalue":{"value":"W2962688422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$CCBB10A1-9CF0-4C6C-BF93-CFF38DB7A25E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"da0a833da6ff461e9299250ee71321bfd88167d8","datavalue":{"value":"Q130838829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635899$2C20ECEC-518A-4BDE-AA4D-25DE549C0687","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3b6fc35184868bf7054ad40c03a6bd53f42604","datavalue":{"value":{"entity-type":"item","numeric-id":5738190,"id":"Q5738190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52e28e2dddcc2165076fe91c224a781c93fec7f","datavalue":{"value":{"amount":"+0.7793816328048706","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":"Q4635899$0519202C-C2C3-4DAB-A046-1C79FCF4BCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67266a4f620a8393150d30127a77d173cd57943c","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f58352a2c7899771aaaee1d9772dc06c3d11f1c","datavalue":{"value":{"amount":"+0.7503408193588257","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":"Q4635899$C4257A3D-C960-4D6A-935E-13803D5B333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65dbfd6533630f98800374cb258f8bc7a3e15eff","datavalue":{"value":{"amount":"+0.7464492917060852","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":"Q4635899$4FD287B1-B02B-466D-B9E1-9DF740FD36F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9386106af15cb3aafbded43cc084ef9fc4171a9","datavalue":{"value":{"entity-type":"item","numeric-id":1398378,"id":"Q1398378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48279b45586d4bc025d5830267e6571964ed42a6","datavalue":{"value":{"amount":"+0.7452698349952698","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":"Q4635899$91E1FF2A-8C7F-4080-81D0-E023D6B9D027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca823e9decb3e2aacde96e0c27f1c3faacd1037e","datavalue":{"value":{"amount":"+0.7447040677070618","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":"Q4635899$4DE4F4CD-879A-4A4B-9E7D-5AC3C842B548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635899"}}}}}