{"entities":{"Q5350148":{"pageid":7379722,"ns":120,"title":"Item:Q5350148","lastrevid":100823294,"modified":"2026-06-05T23:12:25Z","type":"item","id":"Q5350148","labels":{"en":{"language":"en","value":"Trace simulation semantics is not finitely based over BCCSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6766085"}},"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":"Q5350148$35FC1B37-2F99-4683-8C19-7E897A05F948","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4b3d5035b0782c6650e52abd2a964a03a421da7","datavalue":{"value":{"text":"Trace Simulation Semantics is not Finitely Based over BCCSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5350148$0DE9AC98-A236-4CB4-A639-2BC917D88664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6a37c41a7a751f2cc0da4de3d5357b1179e8a87","datavalue":{"value":"1389.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350148$2516B8D1-0B26-48CD-AEB2-456632F1D748","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350148$D35B64B3-68B2-4AAC-B3B4-C4CCE97CB3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350148$74547B0E-A736-4DD8-9F6A-501DE1054176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350148$8EF89FC4-B8F1-405C-A088-FE2DA489511D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350148$2B00BDE0-5AF1-481A-BBDD-3CFBBE78F4E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41e05a1824dbd0ec168313322c6c977f7eecc0cc","datavalue":{"value":{"time":"+2017-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5350148$9ECF9517-A983-4B38-9C72-053C2F49BAAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350148$E51770ED-A0A0-4A6F-B280-8B3259184382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61b089bd53e6c8c9513c6820fd0d79c620f04a8a","datavalue":{"value":"6766085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350148$8C30D55D-DDBE-4C7D-9BB0-6282F5891699","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01e74bcd77b75d276d74351a032a91013ae9dc0","datavalue":{"value":"trace simulation preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350148$0F840554-0EC3-4166-8BA8-126500F0B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350148$1777D76E-B3E9-4E7B-8065-E13EFF27A5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2877337557ab687a7a3c504ac39bdd6284d02abe","datavalue":{"value":"BCCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350148$5C85BEBC-7EE9-4694-82B3-A28D4709290D","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":"Q5350148$4E2C69FC-1C29-40A7-B3CF-CEF078165B1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cdcb6e67ec14d0d4c592ab7fe1c6ee28a05d614","datavalue":{"value":"https://doi.org/10.14232/actacyb.23.1.2017.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5350148$CC124AE0-A99C-4D4E-8B2F-3C36FC29C8C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2df752666b747d33c8f3f7dceb6315819f877ab","datavalue":{"value":"W2611533100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350148$E4B6DAD3-C507-40A7-902D-7DC2F743D8DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df1baa601aafa113e2a33e5e62a85fa8a32cfe73","datavalue":{"value":"10.14232/ACTACYB.23.1.2017.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350148$A718C2BA-27CD-4862-9954-1B4A4871617A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c563e1ddbc37d7c69dde8a4c2cec1914d956350","datavalue":{"value":{"entity-type":"item","numeric-id":1944909,"id":"Q1944909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207ff04fdd68ec74c2a7149506c2c6461b8695e3","datavalue":{"value":{"amount":"+0.895305871963501","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":"Q5350148$5DAD8C89-3D83-41B0-8625-918DE3727471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5b9b6dc04cfd030883755468c2d8117b0d278f","datavalue":{"value":{"entity-type":"item","numeric-id":5756593,"id":"Q5756593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f42ec1fbbaf29b889531c4ea8e0065329170d71","datavalue":{"value":{"amount":"+0.8422297835350037","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":"Q5350148$1DF5D40D-424C-4E4D-A382-FC7BA94B0B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a6d5d8235e1b8d83432d5356add77884cc9a5","datavalue":{"value":{"entity-type":"item","numeric-id":5899076,"id":"Q5899076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4732fc66a3fc1a7f3678cd234548846f733abb","datavalue":{"value":{"amount":"+0.8047475814819336","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":"Q5350148$F36128C2-62BF-4073-833E-5B88E56CC5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40476ff5ef962ac4329116745e21867f2e8fe668","datavalue":{"value":{"entity-type":"item","numeric-id":2891363,"id":"Q2891363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25c6b75535989006b53aa03ea1963c32ab3bd70","datavalue":{"value":{"amount":"+0.8036931753158569","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":"Q5350148$662F6DA5-F964-4E26-A4F7-3673341D7B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e783c6bc79aa1b3d4f019ebe9670aab19dac4d04","datavalue":{"value":{"entity-type":"item","numeric-id":4236208,"id":"Q4236208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f436d48129521010be9d09fe2de65135350ce0","datavalue":{"value":{"amount":"+0.7917270660400391","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":"Q5350148$8C7F41A2-B4DB-4CD3-A53F-ADA7F28B4271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace simulation semantics is not finitely based over BCCSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trace_simulation_semantics_is_not_finitely_based_over_BCCSP"}}}}}