{"entities":{"Q5049015":{"pageid":7078592,"ns":120,"title":"Item:Q5049015","lastrevid":41654300,"modified":"2025-05-06T20:18:28Z","type":"item","id":"Q5049015","labels":{"en":{"language":"en","value":"N-PAT: A Nested Model-Checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614683"}},"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":"Q5049015$986DFDC9-6167-4858-BBA1-A7AB0E8892A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9848a1a7063541d224b84ecad1a476bf6797c749","datavalue":{"value":{"text":"N-PAT: A Nested Model-Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049015$7CF05B96-0C41-43DB-9F99-795F6341171E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96ba9c12368ba11c5dc30f57b8d1a8ba30f0dd0e","datavalue":{"value":"10.1007/978-3-030-51054-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049015$7417B66B-0C71-499C-956F-EA3539C81184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a01db3ab6b2dce7dcc9cb5b6edfa66b2b0fcb6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2961556,"id":"Q2961556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$F21CCFEF-C3DD-41C4-BC83-253983BB9554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f375cc4dfa7a4aceb655acf3997368a4adc103d4","datavalue":{"value":{"entity-type":"item","numeric-id":5049014,"id":"Q5049014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$4DF086FE-8DEF-42BE-899A-08C58A59C6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$035EBBD7-2F0D-473A-8CC6-BD22B6962505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$301B03FC-6838-4E98-A4AC-1583776DA910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcd82e5ab38b299bdbc22cf18fea63d821286f7","datavalue":{"value":{"entity-type":"item","numeric-id":1687745,"id":"Q1687745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$809FF3B3-C55A-466B-852E-C9A573881FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32b05ae50da60ed8369cd3395a408d2f6f13d6be","datavalue":{"value":{"entity-type":"item","numeric-id":1125691,"id":"Q1125691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$E378B1F8-0592-4199-A8ED-009D9DAACBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b754994367b91681d0598d9fc60f9f30d167907","datavalue":{"value":{"entity-type":"item","numeric-id":1041889,"id":"Q1041889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$0043B7F1-1182-4FEF-9690-A6D8D66D1DC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$DF8AB4EF-CE60-40AA-ACC2-45A55F43C169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049015$443017DC-C2FB-4721-8D50-248C11C0CD36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c19804dde2633b5e5f423cb1b2de81e61da4a6fc","datavalue":{"value":"https://arxiv.org/abs/2005.05520","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049015$106396CB-84FB-4F65-BC36-9430F2E2DCCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049015$1B2C504F-CAA5-4E2A-89E0-386D896B4ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a65f294985b0934d4fecc58132c9e8d205acd494","datavalue":{"value":"7614683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049015$8CF83084-625A-4920-B320-DAAE7947A41B","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":"Q5049015$406B53CD-5095-41E1-BC5B-7F544C1AE613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f669108f6b3d7301851b971b35a63ce35982f0be","datavalue":{"value":"W3038403980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049015$E78C0F15-DE8D-488B-9326-A558C8B00153","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$99A012B3-AC54-4A85-91A6-A2B065C48787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049015$EB3DA472-B9EE-4ADB-8873-A4B941FE68DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8263f7471b4a0a5a8b653fb229f1c07a790d6897","datavalue":{"value":{"entity-type":"item","numeric-id":5100762,"id":"Q5100762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfaa1694a55c3b7bd19533573c3a2d65bf2c4d9","datavalue":{"value":{"amount":"+0.8411794","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":"Q5049015$2534195C-4248-426B-9C2B-43F1AA82B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426814dc8f44ca5a35a3efab01143a53cc801fb8","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642c664ca9f64c6a324254936c6d67c85bcf9f4","datavalue":{"value":{"amount":"+0.83910817","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":"Q5049015$52CB5F87-31F9-4543-A28D-3DEAB96EE2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8738872b744f96ef6b96a80d2afb9ca1701d482","datavalue":{"value":{"entity-type":"item","numeric-id":4518422,"id":"Q4518422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d29782b11ec8c47f0204b4e0298b47395e196d8","datavalue":{"value":{"amount":"+0.8310324","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":"Q5049015$534337E3-D19F-4D95-BB87-E60D44BE8AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512cc706ab522967df1289f8cd4ef083a224baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5479203,"id":"Q5479203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d01a1660fae52419875bd7cefedb05c6608827","datavalue":{"value":{"amount":"+0.82989836","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":"Q5049015$7321F67E-0043-40C6-8C0E-6809959F5676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff9581e14dcb6c5c46f2ca4201d4243b335d312","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660502342bfa65290a90e44ef49742bd99b98cd8","datavalue":{"value":{"amount":"+0.8268573","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":"Q5049015$98106FFB-2B98-4965-B510-365060FBE00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049015","badges":[]}}}}}