{"entities":{"Q6489012":{"pageid":14067781,"ns":120,"title":"Item:Q6489012","lastrevid":55605154,"modified":"2026-02-17T19:36:33Z","type":"item","id":"Q6489012","labels":{"en":{"language":"en","value":"Axiomatizing Team Equivalence for Finite-State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817538"}},"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":"Q6489012$CDC717D1-5275-41F9-8E08-FCA597B26620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25f3e43b316887a5fb0916b0e89cafb8f2036aba","datavalue":{"value":{"text":"Axiomatizing Team Equivalence for Finite-State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6489012$AAC4F2B3-C8E8-4017-918E-3655E4B92677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c05189b8aa0c65c03b2126c0271f1b9c786bea8","datavalue":{"value":"10.1007/978-3-030-31175-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489012$F01D7938-B273-4D1E-9851-014E17F62DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489012$7FE3AE0F-588A-4D9A-9F3D-D20F9A8F84E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6489012$76127C39-C396-43D4-8B5F-9AE9C1AE4F42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489012$FAE414DD-5C17-42B5-A618-53A8DA1DCD39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6a079c4d4bcb15fa717c50e5b0fe820cc4e41f3","datavalue":{"value":"7817538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489012$D8E4768D-410E-4023-B909-47F859841A77","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":"Q6489012$D79D3BED-0CCD-4DCB-B554-70E15D894D76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8146bff0dc06b1c07ac9f7129dda9196fcf816de","datavalue":{"value":{"entity-type":"item","numeric-id":2216117,"id":"Q2216117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb8ab8d9bb430459281eead666d02d2f826b3e6","datavalue":{"value":{"amount":"+0.9172525405883788","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":"Q6489012$C9722F90-E1DD-4F2D-B40D-48F4D649E27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7737a81c94d38d44ea5d403643fbc1c54a8b7a72","datavalue":{"value":{"entity-type":"item","numeric-id":2413026,"id":"Q2413026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b6755d32df7ee2bf8e6d0a41475c66427471dd","datavalue":{"value":{"amount":"+0.8498607277870178","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":"Q6489012$8BBB39CF-3560-413D-BF8B-40A07E7C8306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1c5fa11c57276b4c8df35b2810bb730a48113e","datavalue":{"value":{"entity-type":"item","numeric-id":2231652,"id":"Q2231652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c455370111954c61a6139d846350e9850af08a","datavalue":{"value":{"amount":"+0.743644654750824","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":"Q6489012$B6C57124-38E6-4FE5-8D66-C81952D6548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8b8b34a432e225c6b404e63f0cf4118843136","datavalue":{"value":{"entity-type":"item","numeric-id":1377607,"id":"Q1377607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a64e14bab87b70a6678f297bb99dbec5fbb6c5","datavalue":{"value":{"amount":"+0.7364068627357483","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":"Q6489012$53D3EEC5-269C-4007-BD9D-0BBAA449F4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5488809c813fca3a53cec8442a2e17cd02ea17ce","datavalue":{"value":{"entity-type":"item","numeric-id":2055961,"id":"Q2055961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae889fe785dec24841ad7d3dca4d2ffa624f344","datavalue":{"value":{"amount":"+0.7178879380226135","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":"Q6489012$498C4100-461E-41CE-8B47-BB0A6559202D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6489012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6489012"}}}}}