{"entities":{"Q845877":{"pageid":847725,"ns":120,"title":"Item:Q845877","lastrevid":64810983,"modified":"2026-04-11T22:23:20Z","type":"item","id":"Q845877","labels":{"en":{"language":"en","value":"An exercise in structural congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664723"}},"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":"Q845877$DBE73F1C-EC8C-4F33-A604-757C32C241D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d870dc263b050c08ba2ba107b75fc4e0a022577b","datavalue":{"value":{"text":"An exercise in structural congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845877$ABFB96A3-DF52-4945-99A0-08F9E6E75454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5880b2c1447e8ec2aea383b3151941194a78d1b2","datavalue":{"value":"1185.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845877$A41F420B-0F23-4718-AB5D-3477AB64BB67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$75DC70D9-452D-4E72-9360-29F516B0E0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e09663a72c9881b819717b6bfb66ec9165afc5b","datavalue":{"value":{"entity-type":"item","numeric-id":845876,"id":"Q845876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$D69CF77B-C8CC-404B-9CF1-394423DCBC78","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":"Q845877$B2795BC2-38E6-4394-8085-2CBCC5A0769E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845877$4DC2445C-35D5-4853-B366-54C54444069A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845877$A3406F9D-ADB8-4118-BBF1-B4B8DE209FDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1175184d898c55db52eb660e5f86d846fc2b2d21","datavalue":{"value":"5664723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845877$2239E4E9-E71B-457D-B2B4-54CC5B4CB3E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q845877$5D5C7370-CFD8-401C-9F76-144FB5DBAEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q845877$4B58559A-7857-4F88-9AEF-06BA7CAEED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q845877$E6E41C35-F629-4DDC-BAAC-68F49430FA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0d1e92fea6d7db131a4694ca9d8654f02d8eab","datavalue":{"value":"commutative semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q845877$1DE23AB3-0798-4E68-BEAC-ADCC204BE154","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$71053B7B-A01A-45FB-905F-D023471FA85C","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":"Q845877$852719F7-32B4-469B-BCAF-DBDA37A2D3BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c867985fb93415286ffe430e4a62b0b13421458","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q845877$FAC66BF2-48D7-47B2-8370-5C44761C93A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edb1bf19446ffa557e4376f486f92aeae9ed38ae","datavalue":{"value":"W2077021580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845877$829250E8-A5DA-44CC-92D4-FE72AB310833","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db184f4cf650f16ff6a2ff6d0f9acf64a6ba5d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$26FFC59B-37F1-4895-8E36-10106B36261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$480606D8-6DEB-4422-9AB6-E07AADB8A127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$8A1F54B7-1FBE-4C96-89CF-0F2312A5C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c519b1ea6a9004bb401d13cb797dc280ec42a45e","datavalue":{"value":{"entity-type":"item","numeric-id":2766526,"id":"Q2766526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$BF6A215A-B650-4BBA-8FBA-A59D61CB6E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d9b56da40253633847e390dcdea86383fc05c","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$1A92595F-29EC-47BD-BF9B-F6B8DB0C7A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$91A4CC57-E3D3-4E61-9BEC-5212E071B7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31afc4c8b996cf08130904caef0646151bad8609","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$A471B6C7-E6DC-48DD-998A-A5DBD63E80F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$A47C3F5C-5A6A-4974-8815-9793FEEBD8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$16584A97-376B-48D2-90FC-76A2325C073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$27CEDC6B-B474-47A9-A564-B121FEEAAC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$C23D7B79-56AA-4938-95C0-55DE48B1088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde52beecc143da7aa90fe577e5577644f5a9b03","datavalue":{"value":{"entity-type":"item","numeric-id":3997018,"id":"Q3997018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$5CAA89FC-4D41-403C-9E2F-6581551A866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845877$90AE21F6-0676-4458-8761-AF0014556DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3436782a45aaa3028c74f9254cb85f754731495","datavalue":{"value":"10.1016/J.IPL.2006.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845877$5BBC9831-2586-4330-881A-030C52991ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An exercise in structural congruence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_exercise_in_structural_congruence"}}}}}