{"entities":{"Q3003302":{"pageid":3014026,"ns":120,"title":"Item:Q3003302","lastrevid":58096962,"modified":"2026-04-03T19:13:01Z","type":"item","id":"Q3003302","labels":{"en":{"language":"en","value":"Algebraic Notions of Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900055"}},"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":"Q3003302$B0AA0AE4-2342-40F0-91C1-D458EA2D3CF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4e61f4ff1a87018a7e7eea278832eb45872b69","datavalue":{"value":{"text":"Algebraic Notions of Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003302$4516666B-8ECE-40FB-9C35-B9D83C91F3C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddd787814a5a1d41b11af47543a0acbd126f9cb9","datavalue":{"value":"1214.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003302$1215A913-9287-44FC-BBEF-C99726CF5FC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e23f0c5ec0f11fd8c9853d5676c2ab7175bd5aac","datavalue":{"value":"10.2168/LMCS-7(1:1)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003302$C321BB29-FAB4-40A3-95D5-337F703301A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003302$6F39BE9B-337E-4444-B1B2-06544042BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003302$934CE73D-8A98-4516-8929-A2762F906395","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":"Q3003302$4DFB6EB9-DAD6-4F75-8295-3C3BB8B8BF55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003302$292325C1-ECCE-4621-95E8-BF7E5297351C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-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":"Q3003302$862B74D9-573B-47D2-98EE-7CC037DE1209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c03f4bc6f01b0fb4f0cb28d80c43df695c36ef53","datavalue":{"value":"https://arxiv.org/abs/1012.5803","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003302$DF179AA2-646D-4A21-9EB4-FFD0B06131F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003302$4D1E1292-C7B2-4809-81B9-61C011B3E6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003302$11A4D925-EA32-49D4-85B2-EDFE7A00D2B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84cb3e9df09d376346f27b0d6f39ef9da636f041","datavalue":{"value":"5900055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003302$B2D3807F-2A35-452F-8134-5CB428D2F25A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$31817E09-D567-4A91-9998-0EAC3D6AE7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$3ED57F77-226A-4041-8859-5F6E79741B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65515f3f33eb57ef387f32dc3537590ee34b3e42","datavalue":{"value":"omega algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$EE9FBCB5-EDD6-4225-B56D-6DF34880B450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46692e7f1bce0b5e01dd48533ecdc924bcd7871b","datavalue":{"value":"divergence semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$CB20B32A-C21B-486A-8C46-F5C6B159DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$7C8A4501-F603-4029-8DD2-619D8160DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54add69811a44bd3fa757f718548ec1d34bd2b0e","datavalue":{"value":"wellfoundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$766AE1CF-8598-4F8B-A327-EF4D772362DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f373351b9e6c5e0d143dca8943b7f0ddaa059103","datavalue":{"value":"Noetherity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$5F3B316E-4263-4F85-8E96-9A971D54B92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db43f7aaecde8e5cf4ac454cda2f8c19c7d5e339","datavalue":{"value":"rewriting theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$4951187E-FF27-4AA9-BE98-F22D17579FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$D23D5B47-0763-4044-B69F-DA7958ABE80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003302$6C30A9B1-E5DC-4081-800B-E79EAEB662BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003302$441AD9CC-BDBF-4DB8-925A-195FAD16B39F","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":"Q3003302$1C9DED7F-712F-4925-AE0F-4FBE9B9A5118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e926f30c228f72803642ec0e146ddd17943eee","datavalue":{"value":{"entity-type":"item","numeric-id":4673439,"id":"Q4673439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0227174e5862b03bcfee41ead941418010fb8f","datavalue":{"value":{"amount":"+0.8797583","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":"Q3003302$13446292-6CED-4D67-8612-3AB2BD751CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5eb8e14ec32d48195ee63074bea0468aa2edf","datavalue":{"value":{"entity-type":"item","numeric-id":1358923,"id":"Q1358923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f456a8dd66f1ae2952d2d59fde04950ae1e5d8","datavalue":{"value":{"amount":"+0.8711734","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":"Q3003302$BC86CC8A-3F74-49E9-949B-3C896EF033CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0aba2b50f1f3f002c6aa2b981a42e7657d25472","datavalue":{"value":{"entity-type":"item","numeric-id":5045380,"id":"Q5045380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce49da11be52e6bb528cc7a91280b9c8fec9a5f5","datavalue":{"value":{"amount":"+0.8612988","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":"Q3003302$E8E077E5-7B0A-409F-BDE3-5B54B6F92641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ba73783ec02525e9f92a8ca1de18bb021a0f44","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480206e1747d60181ed6154c720fa9d9efccaec3","datavalue":{"value":{"amount":"+0.8579112","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":"Q3003302$F05DA5A5-CFC8-470C-BB1C-1CFAF2372F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc7968f3e54c22b3711edb9da1680592371655d7","datavalue":{"value":{"entity-type":"item","numeric-id":5940147,"id":"Q5940147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6260dd2d1406a679199619d785f6d43a8bc94813","datavalue":{"value":{"amount":"+0.8492328","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":"Q3003302$BB5D6BE6-5AC0-467F-B596-BE89DA3E1DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0337194e443d10e848130d88804fc6a3f10aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d3467bf13c091a245a99b1287049ad15940f40","datavalue":{"value":{"amount":"+0.84804887","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":"Q3003302$13D9F2B8-695E-4817-900C-3D5D93F77295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668dfca61800f2d48c564ad6db897c2e01fca07f","datavalue":{"value":{"entity-type":"item","numeric-id":3618834,"id":"Q3618834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c824b06b0daceaaa0a8419f4f7a6d242cf7f21fe","datavalue":{"value":{"amount":"+0.84502685","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":"Q3003302$E12C5785-9808-4293-9DE9-53482000DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499cab77001d1986558db15e4b7bdc8b14ac5609","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1979ec0fcbd6bddfac3dd97d512f3ebda1b2ab49","datavalue":{"value":{"amount":"+0.84353745","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":"Q3003302$0EF3A770-FE13-45BD-8F18-EC3F2B29C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1471966faff30139230c854e6b45a1be2ee74659","datavalue":{"value":{"entity-type":"item","numeric-id":5703844,"id":"Q5703844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a0b905b9ee6dc7be4952c83b61c10a22a1b4cb","datavalue":{"value":{"amount":"+0.841482","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":"Q3003302$7E90F968-641E-439C-B8DE-871EE78A521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df62fda8c544bbf2d6a98f13f0f772befc8732c","datavalue":{"value":{"entity-type":"item","numeric-id":2988362,"id":"Q2988362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c5ccc4c0e85358f0928933c037e61f124de856","datavalue":{"value":{"amount":"+0.8366185","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":"Q3003302$27583FE7-314E-491E-9B01-4A9D2145C466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003302"}}}}}