{"entities":{"Q5900568":{"pageid":8006258,"ns":120,"title":"Item:Q5900568","lastrevid":50943446,"modified":"2026-01-15T21:06:05Z","type":"item","id":"Q5900568","labels":{"en":{"language":"en","value":"Satisfiability and model checking for MSO-definable temporal logics are in PSPACE."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688263"}},"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":"Q5900568$707EC057-D855-4AE5-84EC-A1B44429CEA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2710257174c8c401d932a5ee3f734214331b9d0","datavalue":{"value":{"text":"CONCUR 2003 - Concurrency Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900568$866AC9BE-2ADF-4646-A709-CB3BEB3BDAD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18929615ee9ff27755154116702253ecd25ecac8","datavalue":{"value":"1195.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$4B400726-AE2E-4EBE-ADA4-0BDD8DA95AC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900568$649B2BD2-F009-40B0-A164-B41B36492B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900568$0904B313-172C-4CC3-9A1C-8ADA7B35E20C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900568$EF2F6E8E-71C9-4370-8326-E9685A1A0231","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900568$7CD0264C-5110-4696-9974-8AFC68C4DEB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$E17F5A76-1979-4F4E-9C82-778C5FA144F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$58B46E82-D508-4A33-B846-949BB18F2206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$CA84DFF6-D51B-4FF5-BA52-438EA44A3470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$BC7858DE-7984-4CF2-ABFA-D7A6781FBF16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f9fb82560c6bf1a1c9c983e4e935bdfb447f5f9","datavalue":{"value":"5688263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$735E58A5-3F66-4408-8A0E-D454D7575D21","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":"Q5900568$CB9B41FC-5AAA-46CB-9475-BE58366E95BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a70288c8aba66f6f506ae1c9f1df3ec3169e150","datavalue":{"value":"https://doi.org/10.1007/b11938","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900568$65B6B075-21F3-4C3C-B82D-6C8875F99A80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eaaf20f9ed31f0c15fde1ed29c348788f9f57b3","datavalue":{"value":"W105220891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$D3BD30E1-49EE-4351-BAB5-A58E47CBF93E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ea868ec13643df31e0c2cc2ea726be761a8967","datavalue":{"value":"10.1007/B11938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900568$1049D645-C6F4-40A0-A229-BC7ABEFC8FF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e2ce3260bfa7c1dfbbeb352896b8783636b375","datavalue":{"value":{"entity-type":"item","numeric-id":5431918,"id":"Q5431918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18360a5be5bf535efdb72a019ad8534233840fef","datavalue":{"value":{"amount":"+0.89720219373703","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":"Q5900568$A0D793BA-40B5-4F3E-A3A9-B72FF9F42364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbad9f60f55c2814166d05f7c67ac14d4009618","datavalue":{"value":{"entity-type":"item","numeric-id":988553,"id":"Q988553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339ac5f4a804880b5f874e535c5f43fb792ad68c","datavalue":{"value":{"amount":"+0.8846551775932312","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":"Q5900568$B4AF8987-898B-4A43-8674-834675D1B35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286138e6f8a650d61c44e724a20762b860b15e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5897506,"id":"Q5897506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f416206e1a697510a19fde26807214f42b151f","datavalue":{"value":{"amount":"+0.8844777345657349","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":"Q5900568$A9849708-C4EE-4810-9041-59A166D43D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771c17044fd2d01bef082de82391d70331d1a4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef399d116f25be8419a51379fab3a6b27f72223c","datavalue":{"value":{"amount":"+0.8344013094902039","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":"Q5900568$485526A6-C79A-4B3B-BC40-A4116D7F22A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05779f72cc7f94b624374807cd511e7ecb7e22b6","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d197acd912cc8408372a1225231b585a751920","datavalue":{"value":{"amount":"+0.8316370844841003","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":"Q5900568$3237C25C-6B1C-48B8-98CF-61FD40230D34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900568"}}}}}