{"entities":{"Q839994":{"pageid":841842,"ns":120,"title":"Item:Q839994","lastrevid":42722036,"modified":"2025-07-09T13:42:20Z","type":"item","id":"Q839994","labels":{"en":{"language":"en","value":"Modeling, specification, and verification of automaton programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601789"}},"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":"Q839994$22E38447-7D77-428B-B4BC-33721009E1AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc232da19559f08b35f0f6a856462b80677362e9","datavalue":{"value":{"text":"Modeling, specification, and verification of automaton programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q839994$4831577D-0E17-4057-8F54-1C32AFFF26DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"920cf988d5b7682fae6cf1a5bf5f2d5823b30250","datavalue":{"value":"1185.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$0F867810-CED5-44BE-BD4B-C0822D1980AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d154f7b7b2cad69c41a322652f76040ad3378cc","datavalue":{"value":{"entity-type":"item","numeric-id":542238,"id":"Q542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839994$9D1B233A-3240-490B-85C0-CE079E2CF8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92fe6b3cef0ba44ed27ea478e699b507ba9012b","datavalue":{"value":{"entity-type":"item","numeric-id":395106,"id":"Q395106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839994$1F85228C-55E1-47FA-ADB4-E91C517FC3EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839994$9159510A-A056-41DF-AB73-CB9C1B69ED49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q839994$46F01E25-F1B9-401D-B627-2329ECF4EF06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$B41A40E5-ED90-4150-A167-57E588D9CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$19098EA6-330A-4369-BB31-69057311D92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42573e43fd628fe2ba99f5e010cbf045c5ba1731","datavalue":{"value":"5601789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$C0C8C56A-9122-43C3-ADF1-C98944689DB7","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":"Q839994$AB7B27F1-49AC-41CA-9E0D-6996870D38E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"010f575bb3f2778d56bb295d51a2728608e88423","datavalue":{"value":"https://doi.org/10.1007/s11086-008-1004-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q839994$29A6D09E-9B9F-41DE-A341-6AE71C2E35B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fb393941127227a7aa39a0e1edceae29013f5b5","datavalue":{"value":"W4255266726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$6797CFCA-0248-4F5F-9BEA-65036EDED9CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab7b8d329289a206c0994ede5befc480be99ab9f","datavalue":{"value":"Q57758838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$8ECF3D1D-6C42-4E03-AE04-C1A9BCA70EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09899c9edfd64930c76c4f8656b246350ddb99fb","datavalue":{"value":"10.1007/S11086-008-1004-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$DE647D8D-BEC9-4FC6-912A-7E9CE38C4B9D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b8d2fedd6374e3006ad327cb56e06b4b1b2745f2","datavalue":{"value":"journals/pcs/KuzminS08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839994$9CD4130F-5790-4B2A-95EA-2743172DEB62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:839994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:839994"}}}}}