{"entities":{"Q1608324":{"pageid":1619064,"ns":120,"title":"Item:Q1608324","lastrevid":72323934,"modified":"2026-04-14T04:08:15Z","type":"item","id":"Q1608324","labels":{"en":{"language":"en","value":"LTL is expressively complete for Mazurkiewicz traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775702"}},"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":"Q1608324$E75352C2-B403-40C7-8A42-5F6992BFCA43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d8dad0cd47a8a0baef8555be3d8db1830e7d3e","datavalue":{"value":{"text":"LTL is expressively complete for Mazurkiewicz traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1608324$2CC42046-1E19-4AD6-9056-4C972CA85A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a48148621c5d8f198f93fddcfac7c00da0084885","datavalue":{"value":"1013.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$AFEB3142-9A33-4D3C-86FB-966EF7BC4A6E","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":"Q1608324$AEAD52CE-8C1F-4AFF-A8DD-CF208BBC7445","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":"Q1608324$438C940A-44D7-4FB8-A5B5-EFEC9D1B3A30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608324$5FA13BFF-316F-469D-8CE6-8254FAA069F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0ad5a041ba241aa8acd7b1ba5ce82be5f4fc6ba","datavalue":{"value":{"time":"+2002-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1608324$47A43938-9B4E-412D-B08A-0E087BE9BEE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$189BA729-36A5-47DC-8F93-3EB67902D9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$CE1FA915-5F1D-41DA-9B87-F68E99B11FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$C59C9326-1B5B-4FC0-B95D-167D9625675E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4673e5eb5ea438b5e8cee23fad3bebd601fe8dd8","datavalue":{"value":"1775702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$D7B60F9D-D593-4C3F-B09C-D91D823C281D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608324$D8E9D244-0981-4720-834A-1AAD0A0BDF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608324$1F08065A-D342-42F9-A4C1-80CBF3F7DEC8","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":"Q1608324$12378029-E6F6-4D27-BDAF-A869E9390C06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21cfc6279d0c1a5205c34f71b37b2e3de6ba3510","datavalue":{"value":"https://doi.org/10.1006/jcss.2001.1817","type":"string"},"datatype":"url"},"type":"statement","id":"Q1608324$2757573D-F6B7-45A9-B575-94B049199209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"323a8f1fbe2e917e71671e760c48613880d90b6a","datavalue":{"value":"W1992383908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$DA5970BE-C8EE-4160-9D68-5B679D765312","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a4c5ae41ddef3b93dfed578b8bd76c71161f68","datavalue":{"value":{"entity-type":"item","numeric-id":4945225,"id":"Q4945225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608324$275DBF21-9420-4CAD-8E7B-D85351BCAE07","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":"Q1608324$ABEAC545-348E-4426-BC6C-222A15C6C19D","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":"Q1608324$B1F6993B-0894-4971-AA07-044F7F43BCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334eca2254c13439f2f5ebbc4f44912929ac4e60","datavalue":{"value":{"entity-type":"item","numeric-id":4738286,"id":"Q4738286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608324$E2B66461-8420-4A3B-81A6-5BA13E39AEEF","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":"Q1608324$6970FF35-7607-4E6A-8638-138897D8A8F7","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":"Q1608324$ABBF8B9B-A945-4AEF-8B93-27F283DC7504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9534ebf256a2d579faf8e43837e43713a5bfad5a","datavalue":{"value":{"entity-type":"item","numeric-id":4218111,"id":"Q4218111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608324$0628D3D6-1983-4903-BA1D-77C6EC673112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4910fd6ed62746c80e8e12929178ea1e99d19612","datavalue":{"value":{"entity-type":"item","numeric-id":4381400,"id":"Q4381400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608324$78EF0282-AE88-46C9-B039-87DAEFB8F271","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":"Q1608324$98FAA3FD-B617-47C2-B959-F139FDB823ED","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":"Q1608324$4672DF60-B752-4359-8E75-DFC675C7FDCC","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":"Q1608324$885C81F9-EFC3-445C-B9A4-4FBA723553FB","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":"Q1608324$085B9EDC-59FA-4921-A347-612ADC746EE9","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":"Q1608324$8844D6E2-16CE-4610-AA1C-227FEAD861AA","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":"Q1608324$AA3302A3-81AB-42ED-80B1-56A42D3532EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a42528ac94654bf0dc6dde3cc3e6d596eb6e6f7e","datavalue":{"value":"10.1006/JCSS.2001.1817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608324$E8F53C8A-A953-4F9C-B006-6F635606ED60","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":"66d0c09dd532a55aabe9ff6639450ca3eff254af","datavalue":{"value":{"amount":"+0.9987455010414124","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":"Q1608324$3B455F22-16E1-4803-AEB1-E7E79FB01D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"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":"Q1608324$5A877CD4-9C0F-4085-AB8A-36EE92011C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de5f0e5fde522452477201cbb3bc1cdb43843d0","datavalue":{"value":{"entity-type":"item","numeric-id":5431330,"id":"Q5431330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2695d8a1f9b5781665ad95a72c7a02552bdc48d4","datavalue":{"value":{"amount":"+0.8912979960441589","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":"Q1608324$A63EA1EC-3C5C-4FAB-B530-B5A7FE5FD1A6","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":"187e52e3155c43ec47ef857d7ab30c96bdb268d1","datavalue":{"value":{"amount":"+0.8779033422470093","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":"Q1608324$8A9ECDD2-C7B1-44D3-82CC-21BA8FBB1CDA","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":"82bf9a04c7280fc9bb6ad6a1ae52a52a576de99e","datavalue":{"value":{"amount":"+0.8657882809638977","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":"Q1608324$446A5006-A6D1-4EAD-B3AF-C88774FB3A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL is expressively complete for Mazurkiewicz traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_is_expressively_complete_for_Mazurkiewicz_traces"}}}}}