{"entities":{"Q5716908":{"pageid":7746462,"ns":120,"title":"Item:Q5716908","lastrevid":40752726,"modified":"2025-04-04T14:04:59Z","type":"item","id":"Q5716908","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245871"}},"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":"Q5716908$0CB5205E-DA66-4092-B90F-027F2FA2BAD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09931771c06d46aeabc60a38e18ef709b76800bb","datavalue":{"value":{"text":"FM 2005: Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716908$65B84998-1579-4B7B-9CEC-7C0412705C21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10bf51a3065122f5423b6568d48fd62ad2eaf710","datavalue":{"value":"1120.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716908$03DFC416-353E-4DC3-A6DA-D1B38326ACC0","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":"Q5716908$726C0830-4D85-42F1-B1CE-166B18AC7A00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716908$46D87348-863C-419F-8875-0F2E629AFD67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716908$10524E77-1E9A-4FE0-B884-B124AE1AFEBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8408cf386c4a4a04359d15a4cb5694856e84925a","datavalue":{"value":"2245871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716908$ABD229B7-6CBC-491E-8454-EA25EFBED5CD","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":"Q5716908$ADA9AD04-70BB-49DC-A4A4-C204C6A3880B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3233b52d4c27ffc27fd1bfa49d7d5f3d07054b6d","datavalue":{"value":"https://doi.org/10.1007/b27882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716908$4052EF1D-0ED9-4775-AD1A-7B29B099F98F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716908$638AB0FA-924D-4899-9BCD-795142C7B3F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716908$69642167-E911-4016-9E62-6E0454696A73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd423b9dbe022a933a3ebe85da795bf297897509","datavalue":{"value":{"amount":"+0.91131127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716908$41493C54-B34B-47DD-9474-C0886973857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71ddc45725ea9a13c735bab2921e4f5ccc827d3","datavalue":{"value":{"entity-type":"item","numeric-id":5505611,"id":"Q5505611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82fbadbd4d08798c00a45dc692263e1bd64cce7","datavalue":{"value":{"amount":"+0.9023018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716908$B9564C12-84FF-4ACD-954F-C80820317FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94c3101f1cafa56821add0407173551a61f772c","datavalue":{"value":{"entity-type":"item","numeric-id":3449629,"id":"Q3449629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d2d20672a1099e940409eec47e8c59df86e03d","datavalue":{"value":{"amount":"+0.87493575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716908$F3ED89F2-515B-4137-8708-12459013607B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d835706c3236f51bcbc2b4877d436d7dedaf1f7","datavalue":{"value":{"entity-type":"item","numeric-id":5398047,"id":"Q5398047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3503a5e8ac88114abe2669469d0e6e504528f84f","datavalue":{"value":{"amount":"+0.8746483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716908$10E762AF-F049-4AB9-A3FE-FF7490F2C878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716908"}}}}}