{"entities":{"Q5089038":{"pageid":7118614,"ns":120,"title":"Item:Q5089038","lastrevid":55415392,"modified":"2026-02-17T15:57:18Z","type":"item","id":"Q5089038","labels":{"en":{"language":"en","value":"Model checking strategy-controlled rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559300"}},"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":"Q5089038$F8F3F5C9-4AD2-4D39-A7D5-9D17E4F38107","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b29e3de5f9c3dfbc12e2200f187f56329c596934","datavalue":{"value":{"entity-type":"item","numeric-id":5089037,"id":"Q5089037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$69CF0964-31AC-4704-BA3F-09A23AAADE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$47BD7BCD-46DC-4A59-8D40-4BFB1F9C0DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b21888a8ac048de8b4c4dfa1b049a7bf144cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1402472,"id":"Q1402472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$C13AE11F-4FA4-49CB-B4EC-A9719864D636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$EBEE21F7-83BB-485F-B486-E7196BDCFB5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089038$F74CCE9C-178F-4835-86C8-F9421E3EC4C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089038$2DB94EFC-46CA-4EE1-99E9-DE9D91418BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089038$E1FC9FF8-381C-49A6-B165-D420969213BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bdf872889c81c960f6b1ce74a7129a0fb976d76","datavalue":{"value":"7559300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089038$98AE1112-7A39-4F1E-BE5F-CB5FE130D99C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089038$CE129D81-71C8-4956-94AF-B51DBBD215D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089038$6F44D945-BDF8-49A2-A6B7-8B850BC90CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089038$316BF940-514E-47D9-B948-889AF0C87988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089038$FFF88D76-01A5-471C-88AF-D6C4594DB733","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":"Q5089038$57273ADC-1403-4355-A004-15F1457E265C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$D96F7D3D-095B-436E-ADDF-F8D1071B16C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$61905C13-6A36-49B6-A101-403D704C36FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$1D8D9F81-0EE0-435A-AFD6-14C7F05F389D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$5A54E3BD-3212-491F-B434-83CF423F6361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573f4b13676257f05e5c837dd13f89e383edef81","datavalue":{"value":{"entity-type":"item","numeric-id":2945134,"id":"Q2945134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$B84C537B-4F95-44AB-B605-DEB7A38006FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61177a57899dcbacba6d453e52a84bb27e6dfb5","datavalue":{"value":{"entity-type":"item","numeric-id":2866312,"id":"Q2866312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$A3F7752B-D6F4-4528-97B1-0257524933C7","rank":"normal"},{"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":"Q5089038$55630738-1E4A-4849-B046-A566F70481FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$B3D759B9-D09C-49AA-AB13-51D2DE45112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87caf20304fad05f7895d4f987be8857e8dcd486","datavalue":{"value":{"entity-type":"item","numeric-id":2864357,"id":"Q2864357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$14E7C3C8-731B-43C6-AF92-F6D930707ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$B85371F0-6194-48B3-AA6C-A27B423669BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9a5cfd4fd34bdc9836c24f0ba27538d35168bd","datavalue":{"value":{"entity-type":"item","numeric-id":2866804,"id":"Q2866804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$D634684B-322F-4171-8693-954E18BC0B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$C33898C0-5027-4158-BBE1-F4772C3E78A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b752abadf787e470e1b8f75bb26671100c3267da","datavalue":{"value":{"entity-type":"item","numeric-id":2945718,"id":"Q2945718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$3AD52247-DFFA-4211-A33E-D5EC8BBA381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$27EE9CAD-FE4C-44DE-B716-E38CEFF3F273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"382744949db57296ac24a17b957a4652fcf60b59","datavalue":{"value":{"entity-type":"item","numeric-id":5429558,"id":"Q5429558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$48F5FAEE-875A-4917-8486-D7841CC82031","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":"Q5089038$A1275848-ABBE-4474-9315-0311C6CA1004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$3479190F-9387-4083-BEBD-561B49A8359A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d66ddfbdcff9769d947d25dd1850066d3bb8a","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$F8BF4A90-3E4A-4623-B3FA-A67D99582798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfc6398f5f5c8e5c67f46324e6778b453ad783b","datavalue":{"value":{"entity-type":"item","numeric-id":2873776,"id":"Q2873776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$CAC8391B-FFAA-4B38-909D-39D8957D663A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089038$DB950C24-B4CE-4B14-ABB4-9E71B2DC1070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b93f3e2784d162a8d2d632341076038f5e46f51a","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089038$6A00E055-D674-46F8-85F2-C8D1C9440A7D","rank":"normal"}],"P1643":[{"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":"322a5d1258dad3a0a440bf105a100ad3ff9546f6","datavalue":{"value":{"amount":"+0.8394030928611755","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":"Q5089038$A4BDB2DD-3199-4784-81A0-6A4CDE5F1477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaeff7c161b1bd0403dc7bb7a0bf98d4c9eb5ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2239275,"id":"Q2239275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5164c10310bce21c3e21737ba8cc406f3743dbf1","datavalue":{"value":{"amount":"+0.8140103220939636","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":"Q5089038$C3128977-F62A-44F0-9039-163A1E9A9D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565518bce65fd3d31eeeee331213c31f30a36b41","datavalue":{"value":{"entity-type":"item","numeric-id":6487295,"id":"Q6487295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff70cb5f03e37c0eb5eb3ea1784c05d300bf87bb","datavalue":{"value":{"amount":"+0.7992510795593262","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":"Q5089038$A78F51C6-DCBA-4582-919E-BFA1780FD9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0eb6eac79decf19441c43d22f7d7f31912c323","datavalue":{"value":{"entity-type":"item","numeric-id":2185882,"id":"Q2185882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b1238acb5b2d0bdc5f73872b5dcb9eaace4dbf","datavalue":{"value":{"amount":"+0.7696261405944824","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":"Q5089038$172F019D-45A9-4D25-9538-A3378F94AE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c3076c50720ca2103df4fd3f4d23da21e25c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4222858,"id":"Q4222858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb1529d41d2475026c3723b0b99c241affaa5d7","datavalue":{"value":{"amount":"+0.7682036757469177","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":"Q5089038$0158457B-7C0C-40EE-8DE1-5AC952ADC7EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089038"}}}}}