{"entities":{"Q7320674":{"pageid":31337725,"ns":120,"title":"Item:Q7320674","lastrevid":105115987,"modified":"2026-09-17T11:22:45Z","type":"item","id":"Q7320674","labels":{"en":{"language":"en","value":"LTL model checking of concurrent self-modifying code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8247037"}},"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":"Q7320674$BBFD79FA-F73C-4C9E-8A98-2B2A5FF63064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d6fec9d7f57e4a72403d8496d205518964a5bf","datavalue":{"value":{"text":"LTL model checking of concurrent self-modifying code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7320674$9C4C200F-B85B-4B33-AD3A-DB1A31DDBDD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec939a84a92aaddfa6132ab81e22313b78a5b61d","datavalue":{"value":"10.1016/J.JLAMP.2026.101150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320674$502D5A4C-9B0D-41B3-BDB4-B9C0B53D84F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$2C25AAD2-DD33-409B-B71D-7C7D31C32FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a683e502f65f6f1563a6ac86e52470dcee4fe769","datavalue":{"value":{"entity-type":"item","numeric-id":7320673,"id":"Q7320673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$7FCFE97F-08CA-4227-9E0D-309EE9773F14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$E73F506E-68AF-44DC-86C7-0F33BD0AC827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba7debfa9fdf0040043d7d7d65003e0398bcfdac","datavalue":{"value":{"time":"+2026-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7320674$AB039C38-10AB-4FAF-B63A-D701B6A13E65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320674$833206C8-6569-4D05-A9E9-6B64DD7C1BE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb45f058f2cf8a71298db5fd0582066255e7f60","datavalue":{"value":"8247037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320674$C516F96C-6A57-4401-A31C-D5AD696CFA03","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":"Q7320674$C3AC1B02-FA54-47EE-998B-8BE56E8652C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad0843cabbd8a3f6c11fe800585c989b11937ec","datavalue":{"value":{"entity-type":"item","numeric-id":2355386,"id":"Q2355386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$A74E8A23-BE8C-495E-A244-FB29DF446A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8fc7489dcee1bc7292222041e49eaf9b5e2989","datavalue":{"value":{"entity-type":"item","numeric-id":1671142,"id":"Q1671142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$A1D46F39-2C50-459A-B46B-6DE5DE23ADC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$153C6659-4B4A-445C-B4A4-B44E262D1945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a5fd7703fa1f058a7bb25da72ebbe3f460d0d4","datavalue":{"value":{"entity-type":"item","numeric-id":6102164,"id":"Q6102164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$0A24B956-C27D-4CCC-8BF4-CF204794558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$96DF3AC3-79EA-490B-B04C-683C1B8FDA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae8499f2964ed1b394aadda2ca1efa78ccb26d2","datavalue":{"value":{"entity-type":"item","numeric-id":4647858,"id":"Q4647858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$864D42EE-B424-47C3-8797-4401B441A49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21e023c9dbc59cb3dbc9c5b2b1af1e1e8de8794","datavalue":{"value":{"entity-type":"item","numeric-id":5716550,"id":"Q5716550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$B076FC63-EADC-430A-B899-B50AB714A5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$E11AA00F-7862-4457-90B0-CA4367009031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0acb7eb598e86ae8fb177b8c0b0a543baaf92a5","datavalue":{"value":{"entity-type":"item","numeric-id":287369,"id":"Q287369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$8A96911D-CEFD-4729-ABF5-5345498D6F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320674$B71F5F8D-DC4E-4C7F-97DB-C27CBC2591E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL model checking of concurrent self-modifying code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_model_checking_of_concurrent_self-modifying_code"}}}}}