{"entities":{"Q6136752":{"pageid":13271059,"ns":120,"title":"Item:Q6136752","lastrevid":35603557,"modified":"2024-07-10T05:34:58Z","type":"item","id":"Q6136752","labels":{"en":{"language":"en","value":"Review of             <i>Formal Methods: An Appetizer</i>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7732886"}},"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":"Q6136752$DC2BDCCD-1DA5-4A76-8ED3-310FA69C7998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47cca026135c6fed0731176cb23954486f8a6613","datavalue":{"value":{"text":"Review of             <i>Formal Methods: An Appetizer</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6136752$49FD4220-7644-4F95-8225-A7FE3806B86E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb7183ffc698ba291955ec335e2e0cc0ce76a773","datavalue":{"value":"1522.00084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$B847B434-E48E-49E5-9B9F-3D13BC439975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ccbe417a4a2f7bed8af13c077564b7a1304cce9","datavalue":{"value":"10.1145/3545181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$C02C062F-F421-4743-AB88-B758BE551BBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3114771da7bc0f83ad33ad528ec2042dba0b510","datavalue":{"value":{"entity-type":"item","numeric-id":604859,"id":"Q604859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136752$DC51F2CE-6203-4550-ABDA-2842AFDBE822","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136752$C2C0956C-4C98-4507-9780-4B44810A1154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ed1b97c874aa96cebcf9bd9f2d490f4bcf42073","datavalue":{"value":{"time":"+2023-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6136752$8B9A24AE-FDE7-4DD5-90AF-5724B04EB2E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$390A6618-8947-4504-9BA0-471EABE473C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$1E4481FC-B7FB-4357-BD2A-6CCF7D7142E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$21D8607F-DEF6-4647-8CF3-E89CA8F19360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$E275E655-57E8-46C0-9E16-06352E70814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$974922C0-55E5-4030-AE99-5B77A954B067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25e3dcc2da158a02c0faeb3db123e81e7eeb167c","datavalue":{"value":"7732886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136752$433FD8B0-3592-4F45-BC0F-80BBDF2719DE","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":"Q6136752$56914F1E-E0BB-4C7B-B8E9-4620A75AC83D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6136752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6136752"}}}}}