{"entities":{"Q2506491":{"pageid":2517234,"ns":120,"title":"Item:Q2506491","lastrevid":49938010,"modified":"2026-01-12T04:36:55Z","type":"item","id":"Q2506491","labels":{"en":{"language":"en","value":"An expressively complete linear time temporal logic for Mazurkiewicz traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061606"}},"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":"Q2506491$54B1B53A-0304-4763-B1D9-511FFEAAC486","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bce9377e155df3eefa1487db473f57a8410fb9e","datavalue":{"value":{"text":"An expressively complete linear time temporal logic for Mazurkiewicz traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506491$B7AB6C9D-F862-4D83-8C99-C4ABAEE29781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c649af0f000ae3928b486c2f6766ba67fac5bb","datavalue":{"value":"1096.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$662EB208-9B7B-476C-9577-83F1F6875225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$B7AB14BD-1D5D-46C2-A0F5-15A5AC9B9616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$75375435-7221-4D42-98A9-24345E7698B7","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":"Q2506491$2EEADC5E-B40D-45DD-8FD3-CCC3E3B6098A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506491$0A39A17F-7959-4027-B92D-E0477181DF5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$75A0D801-0974-47F8-8347-35761707467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$8FB634B0-DAD9-4981-84E7-A7B3C9969B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$526C7665-C91F-4975-9CE5-56872C3AFC67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd0f11debe799fc5f4c2337e9cba2ae4c19f918","datavalue":{"value":"5061606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$93307686-FDE2-4515-A411-2A51CC906923","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":"Q2506491$8717FB7B-B42B-4966-9CE3-C8108B1326A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56e022ed84a9e7a9f669f7dba785b15ea7bd35ea","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2956","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506491$30485665-2A5A-441E-A3D6-8138465F272C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff98ea3663eda751d4d5f54245acd5969154009c","datavalue":{"value":"W2128578503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$3FB9CDBC-72F2-4C5A-9B0A-AC44889E856B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$3C764C14-DC92-4A99-AFD1-2BF853D73A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c5206283fd4192b54449a12055190cc8bcd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4630272,"id":"Q4630272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$41FA7E95-1214-418D-B2E9-DDE4E1177BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$D12163EF-005E-4897-9E47-545A0F6D842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$D9CFA41F-6D8D-4F6B-B147-66303DD8823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e0764aeed39aa126a10e8f93075b006d5650c5","datavalue":{"value":{"entity-type":"item","numeric-id":5204349,"id":"Q5204349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$EFA23D1C-FA89-443F-BA0F-1C20611E418B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$61278E62-32A0-41EF-9685-9CCFC507A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$10F15968-9FAF-403D-868E-72DBB4DFFA2A","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":"Q2506491$19089DD1-5924-48BA-8093-8E905A91BF33","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":"Q2506491$6C187803-F9D8-44A6-A3A8-08BFEEFD80BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$0570A16E-D8E5-4939-B0E3-18920C6F1BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc276400fd8dca2faa88a602da06c7e7b3768c9","datavalue":{"value":{"entity-type":"item","numeric-id":6162107,"id":"Q6162107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$09E96C0C-486B-4402-A6B0-37D37500FD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$EA9C254D-9A08-4777-8B29-EE0595DBF9EE","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":"Q2506491$8CDBA863-660F-4707-9AD6-A56DD07673A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$169CC768-461B-4EF9-9BAB-9059FF1EE981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506491$2BD43640-2412-4572-9AC3-B95C47F18821","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"354bcefb846e1e5daf5f6b697eb51189155f66b5","datavalue":{"value":"10.1006/INCO.2001.2956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506491$5CB4DB3F-FA71-4AB2-8687-848DA1D6800E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454051d54ff0a92ac647987647e7c47a4eee4192","datavalue":{"value":{"entity-type":"item","numeric-id":2754145,"id":"Q2754145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee84a3ed3b9b86d0052d4f56073f3ac4eb63962","datavalue":{"value":{"amount":"+0.90697181224823","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":"Q2506491$D7C8C482-5863-4B5B-A854-5A1CB44BD48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47af86bcb1c4461d26381a55bb4edae06c121be","datavalue":{"value":{"entity-type":"item","numeric-id":1608324,"id":"Q1608324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45dc4db5b055e90f42ef5dbc340cf0805f7d10f2","datavalue":{"value":{"amount":"+0.905056655406952","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":"Q2506491$43ACE612-0569-44B9-9D5E-211D11B81A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff326f6f7f0f05af9152928def6671d2d9862bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4945225,"id":"Q4945225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5634c7a2c5997e8d0572f4451d4608bae7c0c94e","datavalue":{"value":{"amount":"+0.8830854892730713","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":"Q2506491$7E863D8B-11A8-43C5-BF26-8A3AD2255776","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":"e64f8f625e5b961cee8725ad12b0fd3575ec4056","datavalue":{"value":{"amount":"+0.8770394921302795","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":"Q2506491$3902BA6F-500A-4CA7-AF91-7EBFA8405E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bae2d430b50848b184b7d8c7b0966fbbd54a494","datavalue":{"value":{"entity-type":"item","numeric-id":4353634,"id":"Q4353634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf4104d90b25296ef8f4fd4dac40ce3a2ed76a8","datavalue":{"value":{"amount":"+0.8712031841278076","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":"Q2506491$72549A8D-BF17-4478-AB5A-12C56F3CDFA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2506491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2506491"}}}}}