{"entities":{"Q1311465":{"pageid":1322215,"ns":120,"title":"Item:Q1311465","lastrevid":68427531,"modified":"2026-04-12T23:38:41Z","type":"item","id":"Q1311465","labels":{"en":{"language":"en","value":"Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484880"}},"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":"Q1311465$C29F9448-8790-4146-886E-3AC0495547CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b4eddbe069f5b795ae62a3a52fbf9e087972a81","datavalue":{"value":{"text":"Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311465$03046D56-3972-4694-8C8E-A7652DD95A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a7097d33a6defcbda0d003e0ed1da5fafc2029","datavalue":{"value":"0825.00043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311465$EE2FC0F6-5ECE-4298-A326-4BFD86413217","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":"Q1311465$F15C2908-F294-4678-B401-DAA1072DD3B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c091e870f8c7348e51899c1b146b4e426d395405","datavalue":{"value":{"time":"+1993-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311465$F32A9943-FAE7-4667-8278-96DB9A6046E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e02c189e69c84cbb890fd761ba8c167516a4e6df","datavalue":{"value":"The articles of this volume will not be indexed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311465$66C5B58F-1F64-412D-87D9-EFB63918F356","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311465$1E886966-AE8C-4DAD-9724-9F1E01EE90E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311465$41762589-0949-48CB-96F5-7B27CD1BBF24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a2667749f1cc20f6e6bb86ad14c4a52a6b87eb","datavalue":{"value":"484880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311465$1379F438-E1C9-4544-971B-F343CDAFCDFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ace47c2636a49eaa8c02ebda1c94e64c571ebcf","datavalue":{"value":"Formal program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311465$336A3150-E8B7-4B36-B403-526717FB1940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582de1f4f993f621e46092f1134f51b482f37e04","datavalue":{"value":"IFIP TC2/WG 2.1 State-of-the-art report","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311465$22BF6F50-8370-4595-8EFB-9EDCBC34250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd1e47b10d8a40d36d76bc5d7567335628a97eb","datavalue":{"value":"State-of-the-art report","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311465$1E5B6475-0BE6-403F-B88E-2A652CEA9A55","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":"Q1311465$4C21682C-9D79-4181-AF5A-86971B4598FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report","badges":[]}}}}}