{"entities":{"Q5415644":{"pageid":7445218,"ns":120,"title":"Item:Q5415644","lastrevid":96163748,"modified":"2026-06-05T10:34:19Z","type":"item","id":"Q5415644","labels":{"en":{"language":"en","value":"Tensors of comodels and models for operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294844"}},"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":"Q5415644$83F9AE1E-6C3A-43F7-BBC4-AD60A761E4CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c13780bed720748cc112f7fd3b8124f12266a03e","datavalue":{"value":{"text":"Tensors of Comodels and Models for Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415644$DDF3EDE8-D3F6-4CBF-91E4-68FAEDDB8E56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55708e883dbaf1f1f240c990d98f5d18f60291b6","datavalue":{"value":"1286.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$7ECEEBEC-B41F-4D5C-9B6B-A2A0E6D27DF7","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":"Q5415644$200A01B9-AD04-4232-84DB-2988EB4AA45F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415644$8C135A01-861C-46CC-943D-95630387C5FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$07263EC1-C419-404C-98F4-AD09EE4882D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$1EC558F6-5532-45F4-A726-0980EB90CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$48777782-0DE4-4D07-A087-F7354C1EB1B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bb0542614d1c1a663ab496cf7251880eaee377d","datavalue":{"value":"6294844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$520A31F1-A6F5-4F00-B6F9-6694CB1F5E48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d18f13b249e530f2bdc0051c52c0286697f241d","datavalue":{"value":"countable Lawvere theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$3901B069-7E35-4E7B-9EEF-B7A9CA67B485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$13533BEE-F8FF-4E1A-9FB8-A7FFCDFBAC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fda8d8b53566aaedb4c81c87d09f76f3f3b7c21","datavalue":{"value":"comodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$DDACA7DE-507D-420B-970B-9D20AB1074A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91aa3bba52434ca6b857c970a0cc3da38a0fd0c","datavalue":{"value":"global state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$29EBC4C9-2898-4113-9845-27AD17F73D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$9FEE1AB1-ED0B-4221-8A76-595C76A8D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0462471a411062717bc402d760706cc33f3367","datavalue":{"value":"free cocompletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$DDBCB3DC-4306-43B5-9403-E775A02D4C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2dc43b856e0f1e6f56e48af033620ef2b1aaf16","datavalue":{"value":"tensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415644$A36E2A7F-A9C4-44E9-B5B9-7C3CE1A048F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$D50B1D48-2818-42B2-83E5-CAF1A944C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$8392C70A-8DCA-4B15-A504-C85ACAEB66F4","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":"Q5415644$5444FCC4-2453-4C0F-B47D-98A38019EADC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac8cac1535e7136c2c92efbeb05e60a88c01367","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415644$D4BDC3F7-AA97-4B90-937A-EBEF24F1C5A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4339cfbc46e38195ff83d082b504871e81773a1a","datavalue":{"value":"W1981062279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$2951C313-FF0D-455A-B953-6C0A1BA2B5D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$D11051EE-31E5-4859-BAEB-A078FD2DA86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f1bc132aa9b0018a0b5964ad3d222c485d2318","datavalue":{"value":{"entity-type":"item","numeric-id":1917089,"id":"Q1917089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$438C9CAF-4B9A-4CB0-B592-90AF577B8E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a24148a61daca7521d113a3065543db08d853","datavalue":{"value":{"entity-type":"item","numeric-id":879352,"id":"Q879352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$E40FFCE4-3DAF-4880-91E7-73909843DDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$D66085D3-5B2E-4789-A628-82C84E705ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359ce7a09b828315d6714453c2f81ad5e1a17102","datavalue":{"value":{"entity-type":"item","numeric-id":860883,"id":"Q860883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$568FFEE1-A005-4FDD-92F9-BA17052D422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$7CFB7C7B-A096-4300-B6E5-0A6893ACB79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$E6606623-55A1-4461-A326-D02033C7A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc93dbd558dde78e767963e06fbd29119505efd","datavalue":{"value":{"entity-type":"item","numeric-id":2495646,"id":"Q2495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$A59BFD61-0FA4-4EAD-867E-805A64313A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$0937B53F-5BD2-4E5A-B50A-9083D62296F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$5364610D-B4F9-4C12-92ED-5CBC6EFF065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$FE3B5202-21DD-434D-85EB-C470A90C9BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$255E937A-F86D-4495-8EC8-E018B65D8DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$06A678D3-75EF-46E4-8164-154375745FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef0291e0d3c0d57f6596cad586e01c5227f22","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$BC46FDF1-A1D3-4588-A568-39692345BAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb2c43d326a029ed0ae4e6800e57491b8620dc","datavalue":{"value":{"entity-type":"item","numeric-id":2847820,"id":"Q2847820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$91A0C5D1-2992-45A9-95DB-9FED98BE1731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$911BECF4-C8E5-4726-93A6-6EF6D61E0F3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"476dc779eb8f3f514be8f415e643da9b04421afc","datavalue":{"value":"10.1016/J.ENTCS.2008.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415644$7D336232-7AE5-4826-BF20-46D21FAC4702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012dfb254777ee5d4746a87a991c5aa1b3a89dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4910416,"id":"Q4910416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77b5b7af72712da6f134a83a1925aab347e1a94","datavalue":{"value":{"amount":"+0.7962670922279358","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":"Q5415644$23594B50-ADF0-4575-882A-8F1C0D4A4186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304df31d044fe1754ec78bfbf40fa64c670446b2","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4f658f2c7444771c11ec9d6dcdd4eb030e23f9","datavalue":{"value":{"amount":"+0.7829040884971619","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":"Q5415644$6EBD958D-6EA1-491F-B449-8A59EA3C57DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85afb52ee8a45a203bd35ddf8fd8bb3783a20b6","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403d6b3bef70064eefeef51ac6ee217d919808a4","datavalue":{"value":{"amount":"+0.7658536434173584","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":"Q5415644$35F7B085-832B-4252-B1A2-8B500D0A06ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae0cb996ccdd5e428a5f2a6a5050bead4ac8c36","datavalue":{"value":{"entity-type":"item","numeric-id":5058362,"id":"Q5058362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f1501f5f1df812d052ba52f0e733ed7ff50490","datavalue":{"value":{"amount":"+0.7658534646034241","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":"Q5415644$C9CBED4A-61AC-4D7A-99D0-BE8FE3D57C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68da6485ebab96207c8d786d4be9472c118247fa","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25535f2b30435179fb64c7d9c3504f4e538cb1d","datavalue":{"value":{"amount":"+0.7641023397445679","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":"Q5415644$7064A5AB-2588-4EBC-B262-B2AD8FFA2D9E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415644$D67404AE-E4A6-4AB5-87C3-1D8DD8FF4259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tensors of comodels and models for operational semantics","badges":[]}}}}}