{"entities":{"Q3311673":{"pageid":3322381,"ns":120,"title":"Item:Q3311673","lastrevid":45929098,"modified":"2025-12-20T15:23:36Z","type":"item","id":"Q3311673","labels":{"en":{"language":"en","value":"Global and local invariants in transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841243"}},"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":"Q3311673$7FF22950-F9F7-4889-B30C-C8231C36CB5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da36df4ecf6b6d79089058768c9c0b2d65151f54","datavalue":{"value":{"text":"Global and local invariants in transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3311673$22CE8DC4-D592-4C70-A059-BB007982FF13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbce99e8b8478156734b9701fddc92445dcda16f","datavalue":{"value":"0529.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311673$A83C64A1-4C4B-4733-8BDD-595403FB1CF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e2838fb707c2a687f63c27f604b3e266e980b50","datavalue":{"value":"10.1016/S0019-9958(82)91167-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311673$652BA6EA-DCC3-4547-8FED-B6B7D3F0B5B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3311673$E98C7342-8F5A-4547-BD48-1505DDDB4671","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3311673$8898070E-2AEB-4F31-80BD-3F40C3DD61C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3311673$ED4B6F00-B43B-4E10-8DEE-87248683DCAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311673$DD784658-9690-4DC9-B5F6-FBA1C50D952B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311673$FA0220C5-1F73-4B1F-AE9B-625F62BDDC6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1745df591eeec9801041d0f9a9895da9466a92f","datavalue":{"value":"3841243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311673$CD9278A9-51E2-4D59-AD7A-B8E973730BFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3311673$E757143C-9322-426C-B957-99B706D11CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3311673$7BAA5287-4660-4591-89A2-E60AEA818D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67ccffebb56c14cfda39d34ee2f65797afd4960","datavalue":{"value":"fixed point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3311673$8A02A97B-22FC-4CA4-A128-30B0415A52FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d1796f52a993dd56617f10382d440ea7115ccb","datavalue":{"value":"semantical equations of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3311673$39BCFCFC-8307-4F27-96F1-ABBE5BD7DEE5","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":"Q3311673$5C381FA7-6E4A-4EC7-8081-596C1F499BDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3311673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3311673"}}}}}