{"entities":{"Q1944909":{"pageid":1955651,"ns":120,"title":"Item:Q1944909","lastrevid":71950560,"modified":"2026-04-14T01:38:30Z","type":"item","id":"Q1944909","labels":{"en":{"language":"en","value":"Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149195"}},"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":"Q1944909$BF2C239A-17D1-49ED-B125-C8F128247D61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8a7256cc969ef0adf4e91531ede26e144ed5bf5","datavalue":{"value":{"text":"Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944909$8AD08190-0969-4F49-97A0-7FA6DCF29A65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d30d4abbb07636c66d9bf6889bf732348182ccc2","datavalue":{"value":"1260.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944909$E72D9FDC-239E-4410-B53A-ADC4957C224E","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":"Q1944909$F59DD0F9-33E3-4219-93FC-003A6E53AD60","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":"Q1944909$B7CA9E09-6D06-4FBC-996C-2666FF6EC255","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":"Q1944909$2ED83985-4413-4DCB-B583-A56D6AF664FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741c53fc912477e5a1a01bbb10608ec4748d1085","datavalue":{"value":{"entity-type":"item","numeric-id":843210,"id":"Q843210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$203F83A7-016E-4340-917C-720340C36840","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$1F5B64CF-C7F6-4998-B836-7E4ADAA65868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1367ad7cbadc1870b58b208d8a9f406baac6ad8","datavalue":{"value":{"time":"+2013-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944909$3AC92C7A-3A3B-4B57-A110-372DEA652904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944909$44EFB3DC-B294-43E4-831B-27FA0729B264","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab20db8063988c0c3c2c4132810d143647512a5a","datavalue":{"value":"6149195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944909$6A2EB407-3D30-46B7-A1F1-F54385411567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944909$495C14F4-4708-4131-9917-30DE5705B66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944909$C6272C6E-2DCA-4FC1-8EE9-4414550AFC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10d42339d16dca64d68efed0bcf1d9563e99cf","datavalue":{"value":"complete simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944909$B2360F4B-27CD-49CB-B7EC-4E89ACBFBB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8ee907e30a657730d7001290d34c786c737039","datavalue":{"value":"ready simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944909$C511D035-A551-4DCB-BA08-08748A770463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944909$BFF7044A-E3F3-4854-AFAF-00D1C9C6C755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c7101cf26ec6545ff935779f6f4882ac2f0854","datavalue":{"value":"non-finitely based algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944909$D8FFE25E-A027-4AB1-8799-4735A8EFF580","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":"Q1944909$9B34FC4D-F73C-4AB8-B745-9126F05D5B2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2653075769280f7c8a57059e940aa47d2a229c35","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.01.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944909$77F3ED7F-4D57-4A96-B52C-FBD859823DAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d291325b4d4941ef9acd098d7a3d0ccfff6c50c2","datavalue":{"value":"W1984568289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944909$A0996F4A-189F-443D-B033-B376382E98CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58258ff27ba2eae30292119f8af5b738eba59b31","datavalue":{"value":{"entity-type":"item","numeric-id":975471,"id":"Q975471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$FA0C464A-A3B7-4D59-9AC2-5ED5AC24DF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172be285e3f1f606764a036de7e6fc1796dd99a","datavalue":{"value":{"entity-type":"item","numeric-id":5458057,"id":"Q5458057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$DADBFBCE-EE62-4255-AEA2-C1C36FE5F5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$4BF0208C-82C5-4E34-A743-F106E45D915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc413d718331528bbd951b82db92cd49ea0645","datavalue":{"value":{"entity-type":"item","numeric-id":5277824,"id":"Q5277824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$D23881D2-BB14-4586-98C5-C0BAE1DBB142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c8fcc14cafaf607c8285a612485e369d5ac126","datavalue":{"value":{"entity-type":"item","numeric-id":969643,"id":"Q969643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$731C0FF8-18BD-4A7F-AB48-982767A0A538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$093E2B16-C599-45D4-A3DC-6296FDBF3419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67951b3ee0971ff8ca5770ebf06dc6240b315288","datavalue":{"value":{"entity-type":"item","numeric-id":924717,"id":"Q924717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$933F2C71-4E33-489C-88E0-E4E1D995047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6968427269b46f7eb2d0e9b1f29d054ea3b5884a","datavalue":{"value":{"entity-type":"item","numeric-id":2805160,"id":"Q2805160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$628F6F9E-DC1C-4C3A-9D7E-DEC9CAFFDFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$F6FF1E64-44B2-4816-BFE9-5D0BB78F9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$571BC087-BCA1-4BBB-8117-5EB50242CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$7E7EDF10-5028-4239-86B1-F660BF99D5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$93BABC37-F921-49B1-8922-E2F3FD62C8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$942D26D7-9BBA-45ED-ABD9-5362BC78A8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$C36296E2-DD16-4278-A29D-F84D9002395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$1561B25D-8BAC-46F0-84A2-2AD367772FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486913fa48d66d7a898a024b17d1b2c4cae7e881","datavalue":{"value":{"entity-type":"item","numeric-id":1607117,"id":"Q1607117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944909$C0F19A9F-4B1A-425F-999C-894599A52D6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"329f1530d725e49a2be00ce4400fb722069f68f7","datavalue":{"value":"10.1016/J.IPL.2011.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944909$0A98347D-9649-4FD8-B5C7-C7620B9A37A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae2d7953547b21702a4ad51c419eafdc5119202","datavalue":{"value":{"entity-type":"item","numeric-id":5350148,"id":"Q5350148"},"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":"Q1944909$FDFAEA23-6868-479E-9BC3-1D08EC3664C4","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":"ba4ef2855ca98ee34168fb5d5bee9455c54efaa4","datavalue":{"value":{"amount":"+0.8588618040084839","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":"Q1944909$CE20A4F2-911F-4F5F-8D14-03974707259D","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":"7e31ff73a2ae2bdedaf3d88c1e689caca19bb8cb","datavalue":{"value":{"amount":"+0.8569732308387756","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":"Q1944909$0CB63161-5902-492C-A542-2AC55FEADA9C","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":"31fe124fcee6c3f91d121805bc89d7be804fa3e9","datavalue":{"value":{"amount":"+0.8547763228416443","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":"Q1944909$527D687B-F4A1-419A-9039-5F628E04A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a01ceaa66b3bc9c0c120beb826b387d991e6e7","datavalue":{"value":{"entity-type":"item","numeric-id":924717,"id":"Q924717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b80f4a5b58ba2ba02607ef91700e860dc04baa","datavalue":{"value":{"amount":"+0.8321374654769897","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":"Q1944909$4681EA23-7F97-44BF-84B5-53AE3B60E147","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_and_ready_simulation_semantics_are_not_finitely_based_over_BCCSP,_even_with_a_singleton_alphabet"}}}}}