{"entities":{"Q5716875":{"pageid":7746429,"ns":120,"title":"Item:Q5716875","lastrevid":92833421,"modified":"2026-06-05T02:52:05Z","type":"item","id":"Q5716875","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245844"}},"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":"Q5716875$F538D5E3-5CF5-4054-98B6-AE7E77B9AC26","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":"Q5716875$5F7FCC8E-8626-4E69-9564-9290B1046A27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c2f430b5a9571caa0c86e53b4df17d317a03756","datavalue":{"value":"1120.68409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716875$9DE9CB0C-1218-43E6-AA59-08F85D365E15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e35d19e15dd76dfcd47c690e84c8e0e2d5203b2","datavalue":{"value":{"entity-type":"item","numeric-id":3588099,"id":"Q3588099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716875$A7B8769B-CC68-4C6A-A52D-A64D59AFD183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc577fd0e05cd0bce0ed358aa1e96734fec77438","datavalue":{"value":{"entity-type":"item","numeric-id":5716874,"id":"Q5716874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716875$5E91B2D2-ACD8-4D09-94EB-2618BFF4289F","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":"Q5716875$3CD978CE-3BE4-455D-BE37-C0AF79A900F5","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":"Q5716875$10E0135E-A5BA-410C-A97A-CBB93120D9A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716875$68E88F3C-0359-485F-B74E-82AC87D22B0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c69c0c678bf4e7dd29a60d9bf7fabf6f4f21fd0a","datavalue":{"value":"2245844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716875$27A8404D-25EA-453A-A85B-75EB9D91AE49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653ca9bbc9cf42eab9c062a5f25a18081bc9bdfc","datavalue":{"value":"Model-based on-the-fly Testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716875$C25930C7-A283-490D-97F2-809CC1A6E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69b01800308ef7ce110fe8bf074dfef390f74ff","datavalue":{"value":"Timed Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716875$10F83453-2AA5-4B84-A6C4-5324E32D8D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9887c40803975e75665df858fd29ca85dd93c470","datavalue":{"value":"Real-Time Testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716875$52094084-E29D-484F-9471-47A789E19F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65038ef4925893676f27579592cb91ff1ef561d","datavalue":{"value":"TorX","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716875$E637C307-1CFD-4C31-B037-B83A7887CC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1109fe9b148498db2478308ed0c5b9725683fbcb","datavalue":{"value":"Tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716875$4FC663C4-2BAE-4D93-AD09-E3216423194C","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":"Q5716875$43A45AFA-B484-401D-BA13-54520846F123","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":"Q5716875$AF971B1C-11C2-489C-9DFF-52ABEB8B2A48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716875$1AC64988-FEE3-4331-B3F9-0D376E1B8529","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716875$534176D6-AF6C-49CE-9EAF-4FAD332E442B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cedc2eef21adab51d47a243e5cb5167bbf7b98b","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769cd5e6def6edcf862c19f0c2672c17bd0b6c66","datavalue":{"value":{"amount":"+0.8098624348640442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716875$4BCF0242-8A23-44DC-A814-9C4BEEDDE874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6b018beeb31b6000a2e11fc68359ffc6c1fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df457e8760e3459c74aab00d8bc9fd754815b5d6","datavalue":{"value":{"amount":"+0.7979053854942322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716875$108184DE-C18E-4051-9B1C-2E213368901D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902659823dddfc2fd0264b51d4763181ebb01bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3434605,"id":"Q3434605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827b99dc8e2c8ccce810b8fc92bd050748ce7026","datavalue":{"value":{"amount":"+0.785454511642456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716875$8D115602-1504-41D6-8C84-1CCCDF950040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b68fd23b2402eadd127241cc119fa403f069edf","datavalue":{"value":{"amount":"+0.7800420522689819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716875$86F461CE-A457-4103-A887-D017A8D5F2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70e1fb3b73a58d2cdaa6a5a95b15777525e4dc6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4a668209cdc2af7643f074344a2f4d65c10a53","datavalue":{"value":{"amount":"+0.7732835412025452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716875$E94B5D3A-6344-4D9F-A1FD-642A3970248E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245844)","badges":[]}}}}}