{"entities":{"Q604456":{"pageid":606232,"ns":120,"title":"Item:Q604456","lastrevid":51128633,"modified":"2026-01-16T20:11:39Z","type":"item","id":"Q604456","labels":{"en":{"language":"en","value":"Algebraic notions of nontermination: Omega and divergence in idempotent semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815219"}},"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":"Q604456$D87EE3EC-0375-4F31-8432-49DC18B9AED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35e10dbfc9cd1ad14f7a2bf55eefc7d888c6c7ac","datavalue":{"value":{"text":"Algebraic notions of nontermination: Omega and divergence in idempotent semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q604456$EB63B7FF-9B59-4F6D-B108-4025256244E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"634f1bd3fc7bca366db614c2639e93247ab96c06","datavalue":{"value":"1205.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$AE4486DA-907F-411E-9A28-4D41EB749AFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$FFECE694-780E-49A5-8325-1590E8BECCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$B1321AD4-B46E-4F09-82D1-D25FF4386FFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$35D9DBAE-9A9E-4F0C-9D2F-B20A96D4A6C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q604456$AFC19064-FB03-4FEC-B8D4-F2E1B65318DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$E7BD8F64-7503-4356-883C-D1430344F8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$B32F5C9E-6120-4DAA-BA9E-5FDA4D3A6771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$53DE9AE9-58F0-4E50-B1A0-32D606F9BCCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78a208c664bd0cfb8bbbca038e564aafb2d9d27a","datavalue":{"value":"5815219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$6904364B-342E-41EF-9808-A77F59278B60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q604456$9C6CDB6D-FE0C-4EDD-AA7B-5B230C279B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce58b0a21af7cb16d0ef2fab1269d56e665ac1fb","datavalue":{"value":"modal semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q604456$FA61DD22-D3CF-4900-9CD2-3E0909670F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159432ac9cac1a394cea4e22c25fa4a28cfcec9d","datavalue":{"value":"nontermination","type":"string"},"datatype":"string"},"type":"statement","id":"Q604456$28E6C4DA-48CE-4BDA-B0FC-ABB1AAC9E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29344abc40b18e6da6c0ba18978eb09f02929760","datavalue":{"value":"recursion and corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q604456$EF3430F1-C47D-4555-9ED9-004667F2EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee0a7321232e67b3841246d2286998669329c71","datavalue":{"value":"omega","type":"string"},"datatype":"string"},"type":"statement","id":"Q604456$F947E8CD-5B3C-42B1-BF9D-838E58A0B2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q604456$096FBBF7-BF4F-4992-AF3F-FA0BB3A28CA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$B5B82E46-2EDA-416F-8948-7AC5A79992A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$6CB05ABB-17E3-48C8-B1D3-4B0EF23D9FBD","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":"Q604456$4CB49CDC-126C-4AAF-A1C2-91C3763F2D5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1486ef0aef09b01f1dd8728609021bfec01bcd62","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.07.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q604456$DF0E69E3-F9A5-43F3-BC57-89D412E0A3BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e696f2f257c90bdf434d71758c325e720cec436","datavalue":{"value":"W2119087119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$B48857C7-0A90-4458-8936-551F06C594D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7d6a339fca70430dce6b181513b15d21185641","datavalue":{"value":{"entity-type":"item","numeric-id":674263,"id":"Q674263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$7AC02BF8-3388-4786-BDA5-1DB04B09AD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$D5A65763-7CB0-41C3-BD80-520FBF5B25EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$4D14EE32-E988-4A98-9925-8992BBC8D0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$467F9E26-263A-43B7-A3D1-BBD517B5F22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7893913ac74b7ec3bad95e74075ab9512b7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$90186056-8DD6-4759-A817-9BAFDA3B31B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a599e78b7f6ac88556b4a2cd8e0cd4dea641b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$961BCEB6-190C-4E5F-B1E0-EF6B3B5EB7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ba79c02c7b63a4947adda52efee4119e25585f","datavalue":{"value":{"entity-type":"item","numeric-id":5894889,"id":"Q5894889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$C2794997-6375-4AA5-A531-62ADE6E3F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"084216ddc46d3e26b7657298a6903fecd6b39a63","datavalue":{"value":{"entity-type":"item","numeric-id":5048930,"id":"Q5048930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$D8B3280F-FF6B-41AC-B9AF-B186B134ED18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$2DD01C4E-D269-4E01-B208-15E18F18E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbefee8ac70a32a00150a28c30ad99d87aa7464","datavalue":{"value":{"entity-type":"item","numeric-id":2536436,"id":"Q2536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$A201F0A4-AC56-4F42-ABE7-BB5B53D819BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$FA876797-77E3-4196-8198-9E5D7587D0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$D9355A6E-0AED-4F1E-BEDE-1882753A1620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ba9c0cce4c2830bc775c661d4ffe9da5b72bee","datavalue":{"value":{"entity-type":"item","numeric-id":4202947,"id":"Q4202947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$C1027B2A-FECC-421E-A463-55B93AA89ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$F016BBF8-CF22-4B4B-9F66-5BD38CE3592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$95E7D5FE-D699-4843-BA6D-0E5D811A578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace79583a1d2ed52952e2d9ce828b653abb4c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$5FE0A936-52FB-4E29-BC32-4D08E73A0AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$B68B77FD-1FDD-4E24-A7D2-526F76D578E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6daed1a8fcaca7a71aaae67ae286b4fdbaf987","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$DF42C35A-B1C7-40CF-8362-7949EE80A43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3bce8eff668d7fa14e2bcf6be875aa15ea30ea","datavalue":{"value":{"entity-type":"item","numeric-id":5403464,"id":"Q5403464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$C4D3AF71-DAA7-4B88-A03D-F5D8E2A7CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$5E7BD7B0-46D9-46A7-B990-9EDC152323DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604456$F4FEFC89-38DB-48FB-84E9-837605A23EA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9430fe9c6a26029d60a22d894aae0a074d84c4b7","datavalue":{"value":"10.1016/J.JLAP.2010.07.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604456$BF9B859A-D876-40FB-9E71-3AD4A29EEBC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc12856364ef1c9762aec075924a079bc5e4a310","datavalue":{"value":{"entity-type":"item","numeric-id":3498415,"id":"Q3498415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f149aed633821bdb5a4850cae77669bcb5201f4f","datavalue":{"value":{"amount":"+0.8855060338973999","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":"Q604456$4B8EE699-4ED9-419B-AC01-2130DFDD7D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7af72aaa992d1be42f522388e1ba52904d0a76","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224190c5a521278cee0c261f0ba213aab6154d32","datavalue":{"value":{"amount":"+0.8291761875152588","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":"Q604456$6E48B241-E902-412C-9FC7-2D7BA86F03E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d49260e725f47eb03e84b3cd0cf748e18a840cc","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13af95303ff7e15536b0596160092085d9d4ea3c","datavalue":{"value":{"amount":"+0.7227400541305542","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":"Q604456$6E4C96DC-B9D4-4D3B-8B70-5BEA8966E472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519390c447d906e8c8db35bf9c952ca560e2e3ac","datavalue":{"value":{"entity-type":"item","numeric-id":5887521,"id":"Q5887521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebc360fe6c66fbb583ceb6f73cc9916b1506189","datavalue":{"value":{"amount":"+0.7205595970153809","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":"Q604456$5CA85167-1612-40BB-8C3A-BB7D68042856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956730f69136e311220d7af3dbf68ed69e8f2d9a","datavalue":{"value":{"entity-type":"item","numeric-id":299188,"id":"Q299188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97b8680ef5a3ff4eaf62185589051a5a9a2ad1f","datavalue":{"value":{"amount":"+0.7162203192710876","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":"Q604456$2B6FE7CB-DDE3-492E-B243-B0B310326B11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:604456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:604456"}}}}}