{"entities":{"Q763211":{"pageid":765060,"ns":120,"title":"Item:Q763211","lastrevid":64147851,"modified":"2026-04-11T17:57:36Z","type":"item","id":"Q763211","labels":{"en":{"language":"en","value":"Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13--18, 2010"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013398"}},"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":"Q763211$75F5FB4D-F4D1-40BE-9532-E28863D33A1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86c96105009abb085df4c44345f592fef82ee017","datavalue":{"value":{"text":"Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13--18, 2010","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763211$C4577BCC-1F4E-4A66-840B-65913BE6EB4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c44d2438376e995451bb6ad08ddb2405288a3926","datavalue":{"value":"1275.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763211$6CE7DE53-A7AD-4643-B293-859E49FAC5B3","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":"Q763211$436B8B09-7E17-4831-9E19-4661D29E87BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763211$5A60379B-D12E-4492-8123-42085FEA114D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763211$AE222BA0-8B1F-4A84-B73B-9B46E78AF506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763211$9DAA16FB-0958-43AF-9A74-425D6DCE37B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763211$EFFFA6D3-33AE-42B3-A272-DC1EAE103E47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5138a72e450488d836df844249af4f9d09e9cae","datavalue":{"value":"6013398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763211$1BF54D3A-02EB-4C28-917A-E663E71876A4","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":"Q763211$E7AA77D3-2512-404C-A79E-FBCA1724B362","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13--18, 2010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Extended_papers_based_on_the_presentations_at_the_eighth_IEEE_international_conference_on_software_engineering_and_formal_methods,_Pisa,_Italy,_September_13--18,_2010"}}}}}