{"entities":{"Q3510871":{"pageid":5540775,"ns":120,"title":"Item:Q3510871","lastrevid":48876160,"modified":"2026-01-06T01:41:20Z","type":"item","id":"Q3510871","labels":{"en":{"language":"en","value":"Modelling Concurrency with Quotient Monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297107"}},"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":"Q3510871$71A3A080-6A56-4D3A-82FF-399F80BA4D0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d22e4414245451870152acf7a4ad75e620967f8e","datavalue":{"value":{"text":"Modelling Concurrency with Quotient Monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510871$BC24765D-E464-4AE6-8E92-650777E5C9AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51601958679ad642badabf8ed7aaab517009819e","datavalue":{"value":"1143.68486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510871$8F7C3CCA-85F0-4E9C-ABC7-FD85828BF47F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccab35e5a415859c60539ed8254c3156f3a07630","datavalue":{"value":"10.1007/978-3-540-68746-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510871$272451F2-1E71-43DB-83AC-30CD38027DA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$0ECAB154-EA11-43B2-B2C1-1AA5F8565C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed58786d31c18a77c858f98d71b0b97f7306e21","datavalue":{"value":{"entity-type":"item","numeric-id":651307,"id":"Q651307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$E889C7F3-1074-40B5-ACE8-7BE8F9CF4E4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$6040D674-0F15-4253-ADE9-189F65A3EAC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510871$7B4D6D0D-148C-433C-B909-407F4EC2C497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510871$8C54EF0D-E3EC-4CA9-BBBB-1CA819CDC85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0d4b49d1efd36ec14ce69495dfec5e9bb4d56c4","datavalue":{"value":"5297107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510871$31060C4B-C3B7-476A-A9BA-9529ED236996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a28a6faf0f50ffa8998008e5bc8d3a448c5ef1","datavalue":{"value":"quotient monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$DC2D6112-9883-4C50-8867-0F1C4C7866BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$8C22D32B-7523-41A5-96A7-EF6512CDF455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8207ef3c9b3caba699681add3e79db19d0aa2c83","datavalue":{"value":"comtraces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$55D352E0-D1DB-49F6-BBE1-47EF7C9E6CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1119388a6f3aec0ae2dfc38d0238633a59305875","datavalue":{"value":"step sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$3B27FAD2-DF55-4145-930B-DC30682EDD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2f7885cfc5f3d17484374458d8ffaa4cafe1e0","datavalue":{"value":"stratified partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$0AB7E2BE-B9AB-4F86-A861-BDCE7BD65F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52831fa894329a9cd6e09edf09fcbed77f4a18c5","datavalue":{"value":"stratified order structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$7F001DFD-FBDE-4E1B-9B88-F0DDDFAF5D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4395a17d2f938cf3d69888641d75f78c0f65992","datavalue":{"value":"canonical representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510871$D5752294-059D-4F7C-B0BB-6A1335701C3A","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":"Q3510871$5E02F309-1C4C-4DAB-B65B-588436812240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c9ead31fa283a6812790685cd9dfb4eb6c21136","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68746-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510871$9D230832-8540-49F9-8A7B-A8B2E50F0521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3002d5c96189f0813606e5ec49a78d3f1e6ee0cb","datavalue":{"value":"W1573072008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510871$1E73B8DC-54D1-431C-A754-4AC7D4832C03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$B559A8C9-4A8F-4459-9688-6E9B692FF99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbab4acd996db78483779636177b87951d203b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3910579,"id":"Q3910579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$D752821C-EB29-416E-8085-6711B8E582C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e4188af87a5a6964b5e9329a57bab5dba1272f","datavalue":{"value":{"entity-type":"item","numeric-id":1083185,"id":"Q1083185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$F1401C7C-3D7C-4775-866A-274D064F8707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05862255aa3fb359562605cac44e15a4c2142dbb","datavalue":{"value":{"entity-type":"item","numeric-id":2996135,"id":"Q2996135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$B017EA22-CF4B-4C7B-8161-3E8EEE66D4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a74d9593ab79a462f1f66ef36ea786fdb9f65d6","datavalue":{"value":{"entity-type":"item","numeric-id":1202056,"id":"Q1202056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$C68D203A-DB4C-46D1-B4B2-154E55676695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bee1d172ba4629f3ded263d55eb28a6429b1800","datavalue":{"value":{"entity-type":"item","numeric-id":685384,"id":"Q685384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$DB5AE4B4-6A00-4CAC-8A78-C8FFE8B5BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44a1145e260c347d17380ab66ad54c66824f81c","datavalue":{"value":{"entity-type":"item","numeric-id":2508333,"id":"Q2508333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$74DE32AF-FFBE-404A-B86E-BDB25E2D7EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fb7f7fadd5a6790f3fd2ae34928888f738c4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1369226,"id":"Q1369226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$2216A2FF-E8A1-4009-BF6E-13B971E5E0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966fbdb3c0852b343fd9cc9ac51b75cdd23589f","datavalue":{"value":{"entity-type":"item","numeric-id":598184,"id":"Q598184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$91332B30-177C-4641-B40B-D8B7F191BD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820df72bf1c15f32d5787d80349cbcd5a7575797","datavalue":{"value":{"entity-type":"item","numeric-id":3867194,"id":"Q3867194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510871$962D2F95-071B-44EE-9EAF-AB61D10D1661","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e61165aff7ded844f115dbc187213d566e39003","datavalue":{"value":{"entity-type":"item","numeric-id":3018961,"id":"Q3018961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71df5a4ed9a5c292be7e10cd81800aa195fe4db8","datavalue":{"value":{"amount":"+0.925381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$E13E583B-70A5-4F02-A721-7F2C25116AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de126ac44c484decd6bb928f786451c17c995f0","datavalue":{"value":{"entity-type":"item","numeric-id":5096854,"id":"Q5096854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5f129de11f78dd9a559de157c87b302cf2e329","datavalue":{"value":{"amount":"+0.9038808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$0B0AD455-76D2-46D7-A880-7ED83476834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe1a0bfa3e58910ad706cafdfac33e37e14f779","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6efd9f9bc0fd0bd52600780344eb0641dcf47346","datavalue":{"value":{"amount":"+0.8797233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$0B78A248-4CF4-4625-B8F5-67DED4A734C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87f06ece8a35aab437ad4d596b517607bc0a123","datavalue":{"value":{"entity-type":"item","numeric-id":4525277,"id":"Q4525277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b646be9ba1163948bb72a500111d16737b04d8b3","datavalue":{"value":{"amount":"+0.87880397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$D11B1AE9-37E5-4485-B9D6-534CB3D91809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4f828bee80db965de664452b800b72cf3c17ba","datavalue":{"value":{"entity-type":"item","numeric-id":4027626,"id":"Q4027626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e36787290bc786a1c15e8228d3666233ff94db","datavalue":{"value":{"amount":"+0.87876153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$D4A9D2EC-0EC1-4DA5-A71D-2DB4A9BF7FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c3af194bd7bb36a8e94df93fcb6a3c5764a819","datavalue":{"value":{"entity-type":"item","numeric-id":5947271,"id":"Q5947271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ae8d8c5d61c8476e11dcc40138cd771f6c2dfb","datavalue":{"value":{"amount":"+0.86770123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$D90A7C52-30DC-4DE0-BB47-437A345A60BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b90ec53cde03730acc28d1f5b8eb7ebfb2d481","datavalue":{"value":{"entity-type":"item","numeric-id":1824702,"id":"Q1824702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8388a4e788e21ba14087018ab320b1b803838981","datavalue":{"value":{"amount":"+0.865275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$26BEE10F-DF8D-4DAC-8970-29A74210CE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415ded376d1d2bd7d8220c9be823116ed74412db","datavalue":{"value":{"entity-type":"item","numeric-id":2037432,"id":"Q2037432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508530a348c139aa9d4d5ccf7db0e3773d406e4c","datavalue":{"value":{"amount":"+0.86497235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$D3FFFDEC-5923-4E4F-AE63-1C503299A97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26711dd5ad3668555cce3138c0007df5a2c3378","datavalue":{"value":{"entity-type":"item","numeric-id":5710005,"id":"Q5710005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a3a269471771e5e589ad6eb5eb907da19178e7","datavalue":{"value":{"amount":"+0.86388373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$EF38B6ED-2E8C-4526-B47C-93C340FA2AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5a2734d06b7fce815b9ad42a494e3cb25021c3","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ba7eb2200d10e12e4e3ed862337cb562abd5e6","datavalue":{"value":{"amount":"+0.86256325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510871$6BA9D0FB-6EB0-4F5F-AB80-82789F0CE9CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510871"}}}}}