{"entities":{"Q5367063":{"pageid":7396637,"ns":120,"title":"Item:Q5367063","lastrevid":58541385,"modified":"2026-04-05T16:20:34Z","type":"item","id":"Q5367063","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790161"}},"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":"Q5367063$98874534-0208-455C-9986-EA0E39399B00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3d26111f0924f4e0cc470ba5cfdc15e20e371c8","datavalue":{"value":"1459.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367063$14FA3122-FEAC-4306-85A6-A5C4030F7CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d98f06d7901b691700b58a8cf1054ce0efdb6f04","datavalue":{"value":"10.23638/LMCS-13(3:24)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367063$0D05595B-3D30-4E0C-A278-00116F9A0818","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367063$DF915A66-0CE8-425A-BE1A-74F857FB442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4068ada97919eaff29760aff5ebf2f7939a1ba7a","datavalue":{"value":{"entity-type":"item","numeric-id":208763,"id":"Q208763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367063$971C91A9-DD12-414B-83B5-C289F881D2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367063$DD3C70A1-ACCF-4457-B195-C23E4CCF7DFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367063$C4E6DBDD-2331-40C7-BAB6-BD35A5085578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"795ea5000ae0fa5ef3c8b067c6cf70356e60b176","datavalue":{"value":"https://arxiv.org/abs/1608.02636","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367063$296D4D9A-B13A-46F2-A6EC-BCE8E8F8E264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367063$F5AB5DD1-DC41-4E6F-8D9E-ADFD7E054DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367063$34865C37-7684-4718-8785-C6D9EA720F63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7aec8f92c77fd676796a5a1afe4a6ea67b04b5e","datavalue":{"value":"6790161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367063$DD4BCBCE-E2EA-4D44-973B-E1A77364A8B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4573a363ba8f7eb4c0ee6791028216ae0cf8e5f5","datavalue":{"value":"well-structured transition systems (WSTS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367063$61E504FB-9406-4C4F-ABCF-976153F2481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367063$E667DCFC-2FB7-49B3-AC29-A720F9990871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367063$FFD6383F-F7D2-41A8-8992-157E61816FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367063$A1DCB4F1-4210-4910-AD4B-7D68C5BEBD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367063$DC31ECBA-4A76-4FF9-8AD4-E960CF81B131","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":"Q5367063$34086C54-07B6-4138-911A-A0D53170AB3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7060f08b03f4438658575d17214640cb5132a87e","datavalue":{"value":{"entity-type":"item","numeric-id":5394328,"id":"Q5394328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1ac6bdd46fadfc1bb5d00470927734b91f67bd","datavalue":{"value":{"amount":"+0.9487482","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":"Q5367063$51EC2190-7C44-4954-B90D-F0975726A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86d7d231ff54ec619f50876b16b8e55872e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":4536629,"id":"Q4536629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cf558672a3371b69c8d196db00deeae6f8dfdb","datavalue":{"value":{"amount":"+0.8935986","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":"Q5367063$4A470413-1E51-4742-857F-A38B1BC19BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d265360da3b45ca12d0d7ad170d40346da6a56b8","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f8ccacf5fe1224e828187d9851eedbecd77b46","datavalue":{"value":{"amount":"+0.8935185","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":"Q5367063$2B932346-6A89-404D-96CB-C8C4F80393A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfa6dca62d461744bdbf4fc3e13229f05c07ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5013882,"id":"Q5013882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e4c556d17e5f22b83631c6859c59e04b05d26f","datavalue":{"value":{"amount":"+0.87623084","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":"Q5367063$3E5C520C-7B9D-47A6-B26E-AF090BE2C188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baffd812f51999b440e29740ce463831d215fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ea99d5df3d170721fe071743f27ab402c76f12","datavalue":{"value":{"amount":"+0.8737324","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":"Q5367063$9304B94E-988D-4105-80A5-61C2C2B97C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba9d3b44f69296a2c5ab65be472a77b71c31bfe","datavalue":{"value":{"entity-type":"item","numeric-id":5758140,"id":"Q5758140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8000f9c4d2c27242050e97c464f5aef61e087577","datavalue":{"value":{"amount":"+0.8735523","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":"Q5367063$4DDC1E0A-0EEA-4D65-B03E-3D0F546952AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62751b604a44c62a2936e551f949be8091c2014f","datavalue":{"value":{"entity-type":"item","numeric-id":2891435,"id":"Q2891435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2092b8808489afbbfa210d4802b6f89642f90174","datavalue":{"value":{"amount":"+0.8734575","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":"Q5367063$20157166-8F0E-44C3-94F2-76BBF6225A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b55d153aeaf60a08befa75e7450906bbc0b88c5","datavalue":{"value":{"amount":"+0.8629092","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":"Q5367063$622D8F0A-106C-4E17-A205-AAAE9E692AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f326ef95e4759df2a72a88bd84551c8a178d6f83","datavalue":{"value":{"entity-type":"item","numeric-id":553290,"id":"Q553290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6482b4685316932d69e2f87087242c9db96a92ef","datavalue":{"value":{"amount":"+0.86182076","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":"Q5367063$818C0F59-6697-42FF-821A-D8AA18F6ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcede28f3de2392fef72fd70708ba205a6e44fd","datavalue":{"value":{"entity-type":"item","numeric-id":4244302,"id":"Q4244302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d0663ba3da01ee572c5a2e97f2e6f96843cefb","datavalue":{"value":{"amount":"+0.8592242","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":"Q5367063$03828373-3375-4F5A-AC02-3C09557D7338","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5367063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5367063"}}}}}