{"entities":{"Q1819248":{"pageid":1829990,"ns":120,"title":"Item:Q1819248","lastrevid":73027878,"modified":"2026-04-14T09:29:54Z","type":"item","id":"Q1819248","labels":{"en":{"language":"en","value":"FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1385378"}},"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":"Q1819248$686787F4-C889-434F-BFFF-9F79028FE639","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b86b9f378f0af00be3fce7a59526f1760ebbecaf","datavalue":{"value":{"text":"FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819248$E33B5731-FC0D-46A5-96CB-043D19D0E0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc0d5a08de5b21d29226ab4e615c62009ccf73e","datavalue":{"value":"0929.00076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819248$1CEE8A24-C33B-42D1-AEFA-87B669629138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819248$BC6499BB-DFB0-401C-BBC0-CE0956A25CA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce0f1d7076f00885dcda5c95cdbb1d1a7452f6c5","datavalue":{"value":{"time":"+2000-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819248$E743DA77-3DE3-4A27-9060-20E98A6BDAEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819248$98B94C89-C185-4402-974D-103965475295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819248$C53DFADA-F398-4CB0-BB38-142EF97A0903","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6a6601792907622a88483b7955d40c126efc0c9","datavalue":{"value":"1385378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819248$085BD6B0-43D4-4087-A8E4-DF3ADF35B2FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f73420182b37bf8804a11aa2d8fd39e1dbb639","datavalue":{"value":"Toulouse (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819248$67E8A25F-3760-4279-A0BF-B56D198AA9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819248$0344F7B7-87A5-4CA6-8B40-16D09FFBEE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f6848b87b5c1580cb5945e73c2242a4760ec9f","datavalue":{"value":"Congress","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819248$1C33BC12-ADF0-481C-A419-C334C5059A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceced22716e2b93c95b3605892c3c1e162c998a","datavalue":{"value":"FM '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819248$FA9075E5-88BB-4165-AB1C-357941086558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819248$DD3D3A8F-5AC4-4C4A-A4A8-EC223A4BE539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f00569034f7cb0041aea0b2e07bb97e1a71a31","datavalue":{"value":"Computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819248$E851ADF4-9829-42FA-8C07-8DD33C7D1797","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":"Q1819248$173D6A0E-5B3A-47DD-A460-1988679BC1FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FM_%2799._Formal_methods._World_congress_on_Formal_methods_in_the_development_of_computing_systems._Toulouse,_France,_September_20--24,_1999._Proceedings._In_2_vols"}}}}}