{"entities":{"Q4917038":{"pageid":6946619,"ns":120,"title":"Item:Q4917038","lastrevid":51704609,"modified":"2026-01-19T14:17:19Z","type":"item","id":"Q4917038","labels":{"en":{"language":"en","value":"Monoid-labeled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158633"}},"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":"Q4917038$26615537-15C1-44C4-8492-96E2191257E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a1e5dc24795f99d8f1e39667a9b2c3fb7d4b93","datavalue":{"value":{"text":"Monoid-labeled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917038$2AECB1A0-218D-4CDA-A835-0B49B4CC5C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f59dbb413c6854bfce8a5bd08e9609b1f07a8547","datavalue":{"value":"1260.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917038$16026E96-D1FC-428C-B58B-5C42FED170E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d3b9ff15fadaa1d3273cadb56581f073d9009b5","datavalue":{"value":"10.1016/S1571-0661(04)80908-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917038$DC884755-4359-414C-A391-2DC3A53E1085","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$ADBA4EF6-2BEF-424D-88DA-8CEAECDCFF20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917038$1AC71F2B-6EE5-4D17-BF36-68AC984FCB90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917038$5779E028-9D42-42D5-BC46-FAF4C3C57DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917038$3D9D759B-7E3E-42FC-B97F-846CA2B22CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ce1f11161d3f158d608ae5f5bf12dc2a474c4a0","datavalue":{"value":"6158633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917038$84FBB7B7-AE4B-40B4-AE93-1E7CAB7CD948","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$2F42E13D-C1FA-424B-9CFB-65ED8185696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$493BAA36-B13B-4FB1-977D-D7E1D5040813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d143544b1dc875d386d89e103f1db7b03344a689","datavalue":{"value":"fuzzy transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$8B03F7C9-DFC2-43F6-A088-1EDE13A69044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0e239ebe581c420c1d025b7801ad08bbe4789","datavalue":{"value":"multiset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$4C5C8EDA-986D-414A-A509-77423524C94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31655eea04021702792959c3ca66f9e9d40bb51d","datavalue":{"value":"weak pullback preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$C0379D96-6174-4BAF-A8A8-EF311EFE78EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$3E491D13-9A27-4C73-8F75-BC02F5CA8E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a3989d7f25948ffd9b253c956e60ee43d30f33","datavalue":{"value":"refinable monoid, distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917038$EF1382D2-9E11-4426-AE38-29C99D433CDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$80D36D19-02B6-4771-AEAF-390F3E54B2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77ed9cf31d68aefe35fa15bdfc63cc0274098304","datavalue":{"value":{"entity-type":"item","numeric-id":901037,"id":"Q901037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$B2ECC2B6-AA98-459F-9E40-C56EB7DA6571","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":"Q4917038$5A983A7F-3B06-4760-9104-76705FBCBE91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$A233F333-877B-4C03-ACC7-EC39FC18FD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$E68C11CF-77DA-4785-B927-89D77E7988B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$155FA976-0A26-434E-864C-ED4ED1156B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55dc4a933fa95240f25ef06d4f62b33b8ea207d7","datavalue":{"value":{"entity-type":"item","numeric-id":3907624,"id":"Q3907624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$9A2E579B-C171-4A89-84E6-A08A6FCEFC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$0DC6BB46-6E0E-40CD-8FE8-00E0427E0810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$340CFD70-D4C5-4538-B7C2-F4AB5321CFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$01FBDDD0-3E8B-4A9E-ACE0-DCECEA8566CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cecc8d18b60cd1653af27b402d0c1f5af80dc49","datavalue":{"value":{"entity-type":"item","numeric-id":3941465,"id":"Q3941465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$F556BE72-C19D-4C88-B3F6-FC58BD261C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$4CFC09D2-E8DF-4341-B24A-2D085916FCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec41273c837e017795095dfbde50dadc0dabe38","datavalue":{"value":{"entity-type":"item","numeric-id":5561941,"id":"Q5561941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$913EF0EA-1052-4027-B41C-9FBD4BB95BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$BF5C7474-BF15-4E55-8507-33AA3702B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917038$D2036C08-A875-471B-A1A1-323134861180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81459a3da9a154b1f6d1d09c9e9f3c974dae40ac","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80908-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917038$2C069D9D-81FC-45CA-BDEC-915477A514D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4765d7b7c8d5107ed7642dc31c2e566c90cb7ccf","datavalue":{"value":"W1996864014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917038$3E8FEE4E-AD8A-41FB-B6CC-99D5F9470433","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134a959f3edcb99c96e7f1bf455fccbcf636550b","datavalue":{"value":{"entity-type":"item","numeric-id":276401,"id":"Q276401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112ffd8f8e4073cc08782b5b96a838e3187f734f","datavalue":{"value":{"amount":"+0.7855329513549805","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":"Q4917038$4648A30D-EF4E-476A-AC89-EDFF4DAEA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919a4d4a7105b5dea136bd85413b8922acefe256","datavalue":{"value":{"entity-type":"item","numeric-id":1006640,"id":"Q1006640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973b09bc8f66ddee8e5f7df01faa5f08fdea6384","datavalue":{"value":{"amount":"+0.7485420107841492","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":"Q4917038$42E2B149-E258-4D6B-9FD6-705CF17B9721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6711e40060761142182a203457549767882fb86b","datavalue":{"value":{"entity-type":"item","numeric-id":3460420,"id":"Q3460420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f582b8e57041eceb66bf3c30fcfca49aff5cb286","datavalue":{"value":{"amount":"+0.7255517244338989","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":"Q4917038$4D54D0F2-4673-42D1-B91A-809C58DBBD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcc9c117575e758c48d4f8d5d8a580031ad99ad","datavalue":{"value":{"amount":"+0.7232008576393127","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":"Q4917038$24266D9C-1C52-4CEB-90C8-138D6DA39B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eafee713b9a9d56d48052eabbbd25660ecc4bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2873687,"id":"Q2873687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd5a9a0bd89a83709c89c7ab73b6596aadb611f","datavalue":{"value":{"amount":"+0.7186234593391418","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":"Q4917038$057D3478-BCFB-434B-809B-2EA0EEFB7325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917038"}}}}}