{"entities":{"Q4669653":{"pageid":6699234,"ns":120,"title":"Item:Q4669653","lastrevid":58328661,"modified":"2026-04-04T18:07:47Z","type":"item","id":"Q4669653","labels":{"en":{"language":"en","value":"On model checking data-independent systems with arrays without reset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157094"}},"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":"Q4669653$6CC3317B-8174-418C-97C0-571AFB608FA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97ea465c23a37c9ce134883ab1eadb9757fd5423","datavalue":{"value":{"text":"On model checking data-independent systems with arrays without reset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669653$C4B3DC11-B3B1-4611-8612-01C961617E4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16c43fb18a2bdad1cab6410891fe2a5bc299e15e","datavalue":{"value":"1088.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669653$86413EBB-70DC-4739-B10C-2FD2717FACED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c84cdd9ded0ac3192da2b23cce8afd44ece33dfe","datavalue":{"value":"10.1017/S1471068404002054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669653$8474F77E-E902-43D9-BFE0-0B45D73892CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54c268bae98d66282a065bf8c72963533a2de78","datavalue":{"value":{"entity-type":"item","numeric-id":3625029,"id":"Q3625029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669653$EA29C96C-A623-4546-890D-9F7239E8B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8340cf64815cc925067edf2c2423db22ec88a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2851064,"id":"Q2851064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669653$553D95CB-507D-4AEB-8695-2FC14375B0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669653$9083AE7E-FA41-4576-9958-D14EBD998719","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669653$29C9CABD-EBD0-4A63-9AB8-7C4E6318BF11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669653$169CE454-CBCB-41F4-826B-5D02FD545AD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"665dbab623b6c54528f7749e228af527419178dc","datavalue":{"value":"https://arxiv.org/abs/cs/0405103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4669653$45A4C97F-9421-47BD-8164-87807900FBF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669653$F2E10AFF-1D1A-4009-A99C-A99CCB1A52C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669653$EFEFB801-D1E3-4082-A29C-FAD6AE0B5204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3589d0a9eb62a6bda72a3532af66885c127b3d3f","datavalue":{"value":"2157094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669653$A127DF4B-048E-4F1F-82AD-15ABA3535C43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669653$5FE9A3EB-488B-4D30-95EB-95C61E59393C","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":"Q4669653$85C3ADDA-DF98-4EF0-8E85-562E5862CF10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422af33120601a8100c96ced3ec5ce2187dd3770","datavalue":{"value":{"entity-type":"item","numeric-id":5709375,"id":"Q5709375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d037b7a7c883b72755e2a3a7fb77cca0378c60ce","datavalue":{"value":{"amount":"+0.853473424911499","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":"Q4669653$524CA9EA-2D6C-4DCA-B79A-5F9FFEE200C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd5d02165a696b6d913f29204cc96e107332bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4536630,"id":"Q4536630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c47c9d3d47a86c98e88af8ac17e7f23a5154671","datavalue":{"value":{"amount":"+0.7485255599021912","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":"Q4669653$11574367-946D-4D2B-BD61-5F54CB728B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe651991cbc4916826a09c50dbc4cb815d3f966","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d9de606226312c210530a915b366f004cea7b9","datavalue":{"value":{"amount":"+0.7387638688087463","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":"Q4669653$BCF0C664-4107-4E1B-BCE2-03C2030796A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ad1c4e133df37239a5f93797fe876d4387ca4f","datavalue":{"value":{"entity-type":"item","numeric-id":4457460,"id":"Q4457460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac352bc2ca989a2a2a1a86b5ba06fccdfe9dae5","datavalue":{"value":{"amount":"+0.7240936756134033","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":"Q4669653$EECF5E4A-B563-40A5-8B1D-67934CCD51E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c2335243628de846e24ef493e24dca2d8b81a7","datavalue":{"value":{"entity-type":"item","numeric-id":5312973,"id":"Q5312973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38298dac2d90bd9cd4044ea2cbaf887a06d0bda4","datavalue":{"value":{"amount":"+0.7218413352966309","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":"Q4669653$2CD5DB8F-8E54-45EA-8C7E-E3FB822EBE1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4669653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4669653"}}}}}