{"entities":{"Q1763374":{"pageid":1774116,"ns":120,"title":"Item:Q1763374","lastrevid":72909744,"modified":"2026-04-14T08:42:18Z","type":"item","id":"Q1763374","labels":{"en":{"language":"en","value":"Local temporal logic is expressively complete for cograph dependence alphabets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136250"}},"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":"Q1763374$E973E772-D60F-40F1-84CB-5F65CDD5AFBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e9df9d6649ae2d4e89b40d8c4da2e8ff0a59245","datavalue":{"value":{"text":"Local temporal logic is expressively complete for cograph dependence alphabets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763374$1159472C-0272-49DA-8B35-AB3B083E2AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ebcab76230cf2503dedb2e5530ac7af747b961f","datavalue":{"value":"1101.68648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763374$FFC73FBC-4B88-4441-A890-CC7F43D15686","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$07B5AC41-3F1E-44DF-BD9B-3797D7385AFF","rank":"normal"},{"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":"Q1763374$254E4939-3452-4D0B-80D5-402B773A1255","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$256CC83D-6276-4270-9196-6C809072B5D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763374$17A147A8-9CE5-4206-B9A1-286774BC96CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763374$5A33BC50-68E7-474A-B9FC-819C51BDF8E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1de0bb9fbc68e58cb44409174cd68d4f93ca9e93","datavalue":{"value":"2136250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763374$7396FCFF-87D1-46BC-886B-3B771F990538","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5358f4ff9b33bdcf646917348056fc0539b7c8ec","datavalue":{"value":"Temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763374$00FA606E-E083-4504-9C77-83E6E15E846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763374$D0172923-AD37-4B8C-AF13-AAECE9B5D0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763374$8319288E-641B-4E42-A156-9BF2F18928F5","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":"Q1763374$BA9BE894-3498-443F-82B2-590D0E4AD798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"478f15225ce8431770f48190c273a04178394760","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763374$74B3759F-C6D3-439E-827F-AB5C6CCFC023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc280ca295443d57c4a45ef0fb18d1fd977412f8","datavalue":{"value":"W2002470885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763374$47E9A8C7-8F77-46F2-B06B-75F117079502","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e472ab372d973992f8f6c00aad25d0b60e1bd","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$84F397D0-B2DA-49BE-B655-DCB4EE3B9559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282d88b529308441c287f6c692de7afeae122bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4243764,"id":"Q4243764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$4651A95E-1C36-463A-8006-597049E02F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba6020fe5fe17ee55d2feb9d42dbbba53ae9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2754145,"id":"Q2754145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$09712E59-4B72-475B-8496-6017C1AE57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b43828722ca15324d592bac347797d3a95e5c04","datavalue":{"value":{"entity-type":"item","numeric-id":2996153,"id":"Q2996153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$FAF9A5B4-B27D-4E79-8D0F-81759D053F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cbcb19086ff4611752d8034078516f9ad64772","datavalue":{"value":{"entity-type":"item","numeric-id":1608324,"id":"Q1608324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$619F4B4C-165B-4401-A645-C28F7EB55CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adcbbc104cffbe764c43bd7551451ab5a24a49","datavalue":{"value":{"entity-type":"item","numeric-id":5901643,"id":"Q5901643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$C1C4D787-A7FC-46E6-BAE4-8C15C9D4F22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d82147a59885a4bb491b402567e198ff80dfb2","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$0145D5B3-6E75-4F1F-B728-EFCEE69ADDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc3a2104190f9935cf47fcdba869e4c875fa0af","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$AFE8F270-6CFE-4B6F-A01E-70DBDB342EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c44e4f10112eb0a8c59068c398911ba93787d5","datavalue":{"value":{"entity-type":"item","numeric-id":4501576,"id":"Q4501576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$72C17B55-8CC4-4E7B-8ED8-EC58293F1289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7260b0a2449d0dff01cd3da8d7a6218685cf991","datavalue":{"value":{"entity-type":"item","numeric-id":2763541,"id":"Q2763541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$A6C8D3FF-135F-44D0-8370-7CF72F7B3433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63dce92e7f9392bb8e18fa2388b416842482526","datavalue":{"value":{"entity-type":"item","numeric-id":1183428,"id":"Q1183428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$317DF8EC-BA01-40B5-9213-14AE8EACD9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac5a46180e1dc4f153e26635681df86ec98c676","datavalue":{"value":{"entity-type":"item","numeric-id":5180826,"id":"Q5180826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$C53AFA46-2418-4F9C-ADD6-AFC6351723A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$421512C3-1722-484E-BCA6-E75665887EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$2C53BAF6-74E2-46E3-8AD9-9EDECC45A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7492b50c2c62ca06bcef461e4c0f10be464157","datavalue":{"value":{"entity-type":"item","numeric-id":4375802,"id":"Q4375802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$55C5D049-716B-4236-A52C-FE17C84FDB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e953677c16c99f1b27f28a0a3a445d631135e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3569046,"id":"Q3569046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$95066FAF-DE0B-4B59-A2EE-4B739F941A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f0776cd2bb279a937717661bfaf9e8326ea413","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$A3ECB85B-1EE7-4F63-9241-2A12E96C52CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$F10A71B5-E637-4B2B-B151-5CB6C6E41EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$D74AC883-DFCB-445A-B608-0F1EF5C02E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$B20FA3FB-F8AD-424D-92BB-A312250145EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9256597e479262f5da622146a6ab57b4f455a5aa","datavalue":{"value":{"entity-type":"item","numeric-id":4219025,"id":"Q4219025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$66ADBB03-8AAB-4B43-8248-D30A8C325C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d8fbcb60461926596646d10e457e80159cd74","datavalue":{"value":{"entity-type":"item","numeric-id":4807834,"id":"Q4807834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$08301330-E5FF-44AB-B367-19BEBDBFE434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546f4d086c0636fbf1f6ee05616645e1a9d8a89b","datavalue":{"value":{"entity-type":"item","numeric-id":4251040,"id":"Q4251040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763374$0FFCD9C2-ADEB-4214-A804-D4779F27195E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e784a4fc62913a0e0725ca9c9fa652efc552ee43","datavalue":{"value":"10.1016/J.IC.2004.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763374$F3AA27B1-E4A4-4B32-96E3-BAD9DCD7D0C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a391587435e61b131cc4b605775086e8db763f7","datavalue":{"value":{"entity-type":"item","numeric-id":2996153,"id":"Q2996153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1c8b84cdf5eec0fe7b4c01c1afa6d40d2f23f2","datavalue":{"value":{"amount":"+0.9988957643508912","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":"Q1763374$3A86F55B-E1AB-4A12-8C54-D8C58E65AF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302818a0ff3c7d3ac0ad0a594ca583049505ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5901643,"id":"Q5901643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd00ca5ac8b740a4f007c9eea44cf5da5aff314e","datavalue":{"value":{"amount":"+0.8410928845405579","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":"Q1763374$E0918E95-480F-4C68-970B-8A4634903A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5ee4bb34c42a89852a79509c5fde9f66f6a3d6","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2900556cd7c325f5efe1db0ddcef6bd4b12803","datavalue":{"value":{"amount":"+0.8376001715660095","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":"Q1763374$13D238AF-B707-4269-9379-CF0403A3F3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1f7de16e7680b626200e59d367e7465570bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4807834,"id":"Q4807834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76be3a244eaa8108a8f27aed883893b476f6719","datavalue":{"value":{"amount":"+0.8269507884979248","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":"Q1763374$C9BD33C9-CF8D-4E0C-9095-93C67B6BD7BA","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":"5197c3b324ef5a1436d31edf938a4ccb78b20744","datavalue":{"value":{"amount":"+0.8225391507148743","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":"Q1763374$561D3482-AC56-4004-B8F6-3C6CD16B1A3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local temporal logic is expressively complete for cograph dependence alphabets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_temporal_logic_is_expressively_complete_for_cograph_dependence_alphabets"}}}}}