{"entities":{"Q1377607":{"pageid":1388347,"ns":120,"title":"Item:Q1377607","lastrevid":68760333,"modified":"2026-04-13T01:52:50Z","type":"item","id":"Q1377607","labels":{"en":{"language":"en","value":"Nonaxiomatisability of equivalences over finite state processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109892"}},"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":"Q1377607$32961B15-CA32-4270-871A-19E887F6F8A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b0e5c322b7ade315062fd051e124b7603ff8ea0","datavalue":{"value":{"text":"Nonaxiomatisability of equivalences over finite state processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377607$FE4543FD-31F0-4AD4-B2B6-770A179E4C2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"496c6ffaf5751f2163fa866fc03b37442c781fd9","datavalue":{"value":"0898.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$C8C5A6DB-DF77-4779-AF1E-B3992FB762F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c0b2828558d0a079eaaa3d08e18d2c5843a71eb","datavalue":{"value":"10.1016/S0168-0072(97)00036-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$E47D37E1-3A51-4CF6-AA91-8312EFD0E934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f688dbdbd0131e419730283649f1321b89972f6","datavalue":{"value":{"entity-type":"item","numeric-id":236083,"id":"Q236083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$1A5DC945-23E7-4041-8D0A-6A381FCB2192","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$4B607F26-5D1A-4E18-A765-01B412C637D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377607$7A75E5C0-7C00-4DC2-96D4-0C3BB23EEAAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$6BAF5994-2A6B-4625-A04E-305570A8A7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$4A35466C-CDC0-492A-93B4-33B917A1F4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$D05CD0F9-82A9-462F-9E6E-F97D79EAB776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$BD921C53-6BCD-4BD1-8FFF-CDBD7461D68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$A2569C19-DF2F-470C-9C53-7B637973E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$0AFDD3FE-F97F-4388-945A-1D46D50AA0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$FE852E1F-EC50-4517-BC1D-2E1FC687D677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e70c8d2391dd3ad1635383ccc05547e3ad803a","datavalue":{"value":"1109892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377607$2D520F5C-302E-4529-A303-A1AC470BDA16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$3880BC67-5C0E-4E54-A4DC-72FBC8D4AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$50DBA95A-8668-4A4E-ADAF-76A4FEEACDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$C674B26D-32CB-40A5-95C7-4FF0714EAFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41dc571c7f73376ff885ad8b8f51c9bff6bb4480","datavalue":{"value":"nonaxiomatisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$A540B23D-7442-42AD-941D-26461642E177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be76aacda037e0c94764d6293ef722e9ccc71cbd","datavalue":{"value":"equational axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$2A2FDD5A-D5C3-4B59-B33C-D0A9EBD12AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$B682D133-4FFC-4E7E-AAE4-F3950CCEB4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e8cbe6652e5ae59d784f75a80f038d0f49d38b","datavalue":{"value":"trace congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377607$3AC34CF1-9E58-4183-B013-513A348099CB","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":"Q1377607$8C8555EF-86D7-4C98-A107-F13B36D68079","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$88934971-4DD9-408D-972F-5A1BFA4F37C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e7d2d6326af91a7150e574a262f0490d2dfb71","datavalue":{"value":{"entity-type":"item","numeric-id":4236208,"id":"Q4236208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$DFD1E548-7675-40D6-8BE1-FD201DA19658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a26e6bdd1261de50d5d0497494901fadd8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":3030266,"id":"Q3030266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$BF8E1638-5AE1-4DB2-91BC-E83F4F24F194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$B6BA9648-1198-43F9-A6DC-20D3E00C8E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$2C02F953-FD15-4AAD-A3ED-4357DED3FE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90df000333f2ade728e9bac0ca621e4ae8fdc43","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$FD317DD1-FE5F-4E2D-AC42-2D60CA3C795E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$25C2E814-FBA2-4FC3-B495-C65B1ABD438D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$FF0E9769-31CA-476D-B26E-84A4B5EDBF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5f5552def5b27c0b9bb36314f74686295a8cd8","datavalue":{"value":{"entity-type":"item","numeric-id":5526993,"id":"Q5526993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$59E56270-BD44-4D75-87B1-A669D3CE149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1369b26093fdd94a7eeddf6dec291998f31f1433","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$516D5F11-7C68-43D4-BA21-40345900D9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$8CE58102-2DCC-4448-AB60-5844FEA56D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b358e960c9fa8ab3d484400993238ee2020554","datavalue":{"value":{"entity-type":"item","numeric-id":5839933,"id":"Q5839933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$A6AF3C50-7968-46F9-B15F-3AAA64C495FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$7711EB86-049C-483C-9838-54A66C5AC3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$6EBDB1AF-61E7-4648-BD77-6525D31ABCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$4DE2990E-14E2-4BE1-9925-A62739592E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$855DFD40-910B-4AE7-88BC-BFF1C55AC757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$094A9F33-41AE-4114-ADC9-D07C1809AF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b06465acfb77d3eb78894f033bc3d30f6a01b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5890064,"id":"Q5890064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$3CFEC0F9-8D04-493E-B501-E57FA4CC382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$75A19967-AE37-4822-96D8-EB3DFCB4C716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$36715C11-1D5B-46D8-88FC-8E70A40333E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$74ED9980-E4D1-4472-81D1-C36591F5602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517f39c0173abd0658c02701641d763ce5d7888c","datavalue":{"value":{"entity-type":"item","numeric-id":1309033,"id":"Q1309033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$AC50D44A-8145-4E44-A26A-533723302924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377607$6FC08675-A7B9-4A2D-B1EA-041286BE5852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a480789f173c062a23ed88678e013af5b800c6","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814c193c9072c76fb3ded3368eb0dcc9807cd2af","datavalue":{"value":{"amount":"+0.8022071123123169","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":"Q1377607$946E184A-5C34-44CD-99BB-669A1D902F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e32d32a39f64502db2d0ed8b533d9c558a2ed03","datavalue":{"value":{"entity-type":"item","numeric-id":875517,"id":"Q875517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f61a0cd00453dab8a6bff510023c8244106945","datavalue":{"value":{"amount":"+0.7989281415939331","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":"Q1377607$EE659063-412F-4A4F-8DD3-BCB8B66EE605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655fe7b35717e634f58941003b86a53f047375f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305361,"id":"Q4305361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5ff88929a21517b314841c925e6cb784935668","datavalue":{"value":{"amount":"+0.7856112122535706","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":"Q1377607$20F8C67D-6291-40BC-87A2-20A9BD46027B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b162a9f0ad2fee6d52d225eb9af6e82ca2d643","datavalue":{"value":{"entity-type":"item","numeric-id":615236,"id":"Q615236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2fc4d5ffbc5cff8b12c4cf4f59984ce22b6d05","datavalue":{"value":{"amount":"+0.7729682922363281","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":"Q1377607$E0DB9D77-EBC0-4900-933F-415555711EF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonaxiomatisability of equivalences over finite state processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonaxiomatisability_of_equivalences_over_finite_state_processes"}}}}}