{"entities":{"Q5920295":{"pageid":8052534,"ns":120,"title":"Item:Q5920295","lastrevid":39086183,"modified":"2024-12-18T15:16:06Z","type":"item","id":"Q5920295","labels":{"en":{"language":"en","value":"Introduction to the special issue on runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275253"}},"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":"Q5920295$E82BD17B-591E-4143-B0CD-5D804DB25787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc1dc0597ce6322fd12dd48f2ff0eaf9e8d81cc","datavalue":{"value":{"text":"Introduction to the special issue on runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5920295$85B6CB7B-21B6-477B-A3FD-2C1AABA3185C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1039d7362df693ad6a0476996e298787e607200","datavalue":{"value":"1284.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$E84A7DEE-8EDC-4523-B756-8B1D4D8FC3BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$90E1822C-7F44-4063-A453-C3A6FF3A1F6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5920295$6AE3B95F-60D3-4543-90E9-9235B023F98E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$217DF2AB-FA7F-4756-83BB-0A21CB8088BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$D3FC0031-B71E-4A36-8BFD-EFFEA8D95FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$2F13DDB0-3D3B-4A41-BE35-8BFDBD5C5E07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19acd12b97d209c0e3527a829f147d8fa3f94792","datavalue":{"value":"6275253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$99DB097E-A1C8-4738-BBAC-D5664924B6BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e11eb452fca826a53e41c6f99545aabd972ba68","datavalue":{"value":{"entity-type":"item","numeric-id":31823,"id":"Q31823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$37FE3D05-C9CE-46F2-8336-2A4BAA48D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c1907fcbbe73cf235919e91baed30ac2b190e5e","datavalue":{"value":{"entity-type":"item","numeric-id":24730,"id":"Q24730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$97F4F2A4-F6F3-4CD0-8D5F-312787CDE112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$CEB948F7-F80A-49F7-9D71-3E632B8BDE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"791a0d3fdcdbdb81fd1730b41816f4be25963c26","datavalue":{"value":{"entity-type":"item","numeric-id":43969,"id":"Q43969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$98EFFDDC-E295-4E9E-936B-00F5DF551787","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":"Q5920295$192EF059-7D82-4988-AAEC-05F87824D518","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8012171016a8f0e833f143a75f8ca9fad5414256","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0174-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920295$CC6AF838-9384-4B92-874E-9E64111DD7FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9417b77ec9353963ac46b40e6544a815980b450","datavalue":{"value":"W2090832147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$52B5EA63-E925-4C0E-BA9F-699D6724FEA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df773a70d69fa5f0dffe0a4089f06a72cdc850ad","datavalue":{"value":{"entity-type":"item","numeric-id":3634749,"id":"Q3634749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$9C08E2D3-9E6A-4B2B-A1D6-4848B8B277A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$442F47D0-099D-460D-9FA4-D59884CA35A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c5875eaa6f93bfeaac4d0fab2d77ff3c0870d4","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920295$5BA2B547-C3DE-473E-86C7-468A64AC3E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c0cb472b711ad31cb8175db53f61ffb63a4da11","datavalue":{"value":"10.1007/S10703-012-0174-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920295$A63C27C8-BF05-450C-9A6F-A54408039C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5920295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5920295"}}}}}