{"entities":{"Q5300902":{"pageid":7330476,"ns":120,"title":"Item:Q5300902","lastrevid":58519779,"modified":"2026-04-05T14:01:45Z","type":"item","id":"Q5300902","labels":{"en":{"language":"en","value":"Using models to model-check recursive schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182521"}},"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":"Q5300902$B82720C4-A87C-4D16-B166-6DB480ECF862","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28ef4736332234044c9de6417fd33d95faf059c1","datavalue":{"value":{"text":"Using Models to Model-Check Recursive Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300902$CB0039D2-EF87-4D59-B5AF-0768004CBE96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3127566889170733f370d9715282dee6f2c6ad45","datavalue":{"value":"1381.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$D2F39AB9-5945-4F0B-BD43-1C9CE1495725","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"500ee66a46871f97b18de429193e65a48eafb8d5","datavalue":{"value":"10.1007/978-3-642-38946-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$50D1809A-D65E-413F-9782-9FF5BEFE6B83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300902$82A6ACCC-375C-4C40-8C37-78245B7389C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300902$9BACAB2A-3375-43B0-AA28-CA34537D56AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300902$04D1A006-5B6D-4B59-9B74-E4030F8F4974","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300902$0D3D5156-D5C6-4B84-BDAD-A2157BBB5493","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52d3461c779da950abff761d63fc7125fb9ff54d","datavalue":{"value":"https://arxiv.org/abs/1503.04320","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300902$3AED8F5F-6741-4C4D-8367-9702063C82DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$E839A832-1E4E-47BC-A85E-72A46828889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$87CB3557-CFCF-4114-999A-B615273FDC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$ABA41F9A-C00F-4B38-828F-5A855595DEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$037BC7F2-F936-4120-8294-4B10E63AAE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$4DEE7B1D-FCB8-49A6-9666-DED79371B493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e586f26ecd28454fefa537363d173993dd76b3eb","datavalue":{"value":"6182521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$10E73AA4-DA95-42D8-B929-140C27BA0908","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":"Q5300902$DE8A1113-606A-4E4B-A64C-BA24286FB513","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46333afeb8f7c648688714bc4c18c0b8a89ebc57","datavalue":{"value":"W2168984090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300902$04E591E5-CE3D-4AC4-82CD-C743726BD205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12650aab67e5dc8a9cf8fe2726b5e39e09a1d7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2941755,"id":"Q2941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5fadc24a6c3f3bbd54b0428f472d6f7d44b4c8","datavalue":{"value":{"amount":"+0.9996866583824158","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":"Q5300902$62FFA97A-F041-4B3F-83DA-56640C45863F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf224127355dabbc2ba3b4c571243d4f6237d91","datavalue":{"value":{"entity-type":"item","numeric-id":2912708,"id":"Q2912708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc070f8e11fd2fe64c4ae526811152e270585be","datavalue":{"value":{"amount":"+0.8676825165748596","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":"Q5300902$8FD897A0-7041-4F47-BA4B-DE2541241364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf827613148828e5bf6b74bdf15b3e2fbea31eee","datavalue":{"value":{"amount":"+0.7613320350646973","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":"Q5300902$401DCDA1-84EC-48F2-8E6F-237BD50DA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7df4b996e84f2d88d505bd0c6e9e922b6432ba","datavalue":{"value":{"entity-type":"item","numeric-id":3613331,"id":"Q3613331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d862827a771f2cb574fec01fd879271923aeb4da","datavalue":{"value":{"amount":"+0.757768988609314","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":"Q5300902$B97434EB-0EF6-4DB8-9141-C102F4B81DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ff692f4af674c9d602d0bef00168dba750abb8","datavalue":{"value":{"entity-type":"item","numeric-id":5426067,"id":"Q5426067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01189b7679be0b738365aa2c5c67c6cf6aa51437","datavalue":{"value":{"amount":"+0.7558465003967285","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":"Q5300902$795A556E-8C54-4342-BE1D-1E7016A64140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300902"}}}}}