{"entities":{"Q2851053":{"pageid":2861773,"ns":120,"title":"Item:Q2851053","lastrevid":51837719,"modified":"2026-01-20T07:12:27Z","type":"item","id":"Q2851053","labels":{"en":{"language":"en","value":"The Maude LTL model checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213296"}},"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":"Q2851053$54E7EEFC-768F-4FED-98E6-9840139A757F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6abaa7ff0d6842deb342d9df159cfc3b48ee4cbc","datavalue":{"value":"1272.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851053$415C5622-A3A6-41A9-AC86-07843AC58B93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9e5df512942e7d0bfb634d7aa7c26774b48385","datavalue":{"value":{"entity-type":"item","numeric-id":997832,"id":"Q997832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$02124DB2-F75A-424A-8C2F-13C4E9D7BCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$AB269070-08C0-420C-96B9-81D983D4D10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"966b3a70f6d5f2ea11a3c5af3208569445bf15ee","datavalue":{"value":{"entity-type":"item","numeric-id":2851052,"id":"Q2851052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$7307E491-F42D-4EB9-84C2-5EF0C301FC11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851053$8883A0B3-12E3-4C07-B733-6E92F67DBBFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30bfdc9e83bc3c549036caffe856be5b172e3a3f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825344","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851053$07303764-D9FD-4292-925C-0FF7E499237A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851053$23098ADA-FA36-4373-B55C-2AFF60089F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851053$F5393E92-8D45-46AF-A4B2-14F9E8D02CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"580a6a9ed850f925c98de78f1763551c387d63d3","datavalue":{"value":"6213296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851053$343F4009-916D-4C8B-98F3-D05077D32C59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$519AD51B-87A5-4BD4-8921-A33D1D7AD659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$F614B84E-7028-4CED-90F0-3B66B9FF3D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$5C2700EF-80A7-4750-90EE-DB796B426CFA","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":"Q2851053$E8BF8FCB-80B1-4E70-AC7B-85D1AFA22216","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$B49C6387-A935-4FD1-A4D0-7BBE3E58EC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e822d043799913887da6671dea8480b2fda6e","datavalue":{"value":{"entity-type":"item","numeric-id":4222979,"id":"Q4222979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$AC4E1137-A351-4D41-8576-92F2B90B249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$050D7FE2-E2F4-49BD-8F7F-17639D5E5A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adae43984d2bc472e2d9665f83bac219a9e0279f","datavalue":{"value":{"entity-type":"item","numeric-id":3956422,"id":"Q3956422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$3DE2930A-0AEF-4CF9-AF47-4D9BE5265FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$B5F66F66-E709-43DD-B0D4-EEAE3AE07F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$74F1921B-A131-4E7C-9627-F4C85EA7A137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$58EDB510-9DE1-484E-B314-804F93F5204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$8CFB30E1-83F1-4878-9459-9011F7F1AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68c3826d8a9f725fb388c85c09c5d9fff8c1cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3046721,"id":"Q3046721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$226ADB95-EF39-4624-9CB2-07319AB32AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$A9FBD11A-A1D6-422B-8413-C5664A300092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$60C91042-13B1-4790-ABEA-9F52537E6E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75a0cae071a0c72f5d7010c0fdf5e6401d56907","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$41BFF69F-9C1D-4DCA-97F7-31EE75E4E69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3718c6bf57f5371aee2d246b8d5205c2c477cec","datavalue":{"value":{"entity-type":"item","numeric-id":1205185,"id":"Q1205185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$E8FFC91D-7DBD-42C3-99AD-397F45902722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$5A073821-2EDD-42D3-92D9-BEA352D7FF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbe11295452ab8f1e47a151ae0d8f5de23c74cf","datavalue":{"value":{"entity-type":"item","numeric-id":2753714,"id":"Q2753714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$35B2BEC2-CA6B-4020-8BD6-8109A29B8737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$FCB3F7B6-4F3A-4A96-A6FD-94BEABB27489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d4f1c5b719e73ed3058b8bbc5d147cd8e03642","datavalue":{"value":{"entity-type":"item","numeric-id":2851057,"id":"Q2851057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851053$2AA3E359-8963-40D3-81C1-37C95CF9A78B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ed27e27db6cc42054019da591cb2fa5dfa243d9","datavalue":{"value":{"text":"The Maude LTL model checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851053$E293984D-FE2A-45F9-A86E-AE97F04E818E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89864765938afbca7a5a9ab468fb862125d764c0","datavalue":{"value":{"entity-type":"item","numeric-id":4426386,"id":"Q4426386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01df44200003bb5a5eecde1f167e355c1a58cd04","datavalue":{"value":{"amount":"+0.9403834342956544","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":"Q2851053$50E29D0B-73B5-40DA-8BA6-BEF610687EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91102278f8775c269d304ec3f95b1ae5675132c4","datavalue":{"value":{"entity-type":"item","numeric-id":5403070,"id":"Q5403070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3448f287f189d6f3f8cd9e73fa2bc3ccd3cb50","datavalue":{"value":{"amount":"+0.9403833746910096","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":"Q2851053$832B4BBE-0F0E-4275-9486-F1A0A582EC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e866be9b5b9cc4fc80ed6878d8463b70348f92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5166636,"id":"Q5166636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f124472a73d899181a50a9322456bc76ee673677","datavalue":{"value":{"amount":"+0.8386626839637756","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":"Q2851053$2FEEDCF4-4721-414D-A13B-6D00D212086C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27368f7c2fe1e37e3d66c5ac92d0ccdb54dc9735","datavalue":{"value":{"entity-type":"item","numeric-id":4933287,"id":"Q4933287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595fd8c15e5d5b516248aeff83cab6499b856e27","datavalue":{"value":{"amount":"+0.8316085934638977","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":"Q2851053$4939C470-8243-44DD-BBF8-1C425E3DF447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558f0279373f0af14400d72a236383ae742b2bb6","datavalue":{"value":{"entity-type":"item","numeric-id":6486043,"id":"Q6486043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c291a0908c25d37cc8d600ea150ba81541c9b4","datavalue":{"value":{"amount":"+0.8161596655845642","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":"Q2851053$42A647F3-506C-4E5C-A170-A2F3C848833C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851053"}}}}}