{"entities":{"Q4076736":{"pageid":6106336,"ns":120,"title":"Item:Q4076736","lastrevid":88088591,"modified":"2026-06-04T13:36:38Z","type":"item","id":"Q4076736","labels":{"en":{"language":"en","value":"A Semantic Basis for Program Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3493849"}},"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":"Q4076736$75BA59F3-72E7-4D6C-A277-373C69F3B996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c50dfa931fb26f7ec3bbff0fdba5f35dba6b2412","datavalue":{"value":{"text":"A Semantic Basis for Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4076736$7F0B686A-4114-43DD-A1D2-B4B23D18468B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ecd71b1efce9b010c2f76a51909d749b56dbc9a","datavalue":{"value":"0315.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4076736$E00D67CD-1952-4501-9961-67671876A4FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e78595e01fb5ef347546fdf45070342a22c38359","datavalue":{"value":"10.1080/01969727408546056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4076736$F1349006-F7D2-4A93-81E1-8CCE767CD0BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c59ccd35ba4efa471151b67e9afaea5156fedc59","datavalue":{"value":{"entity-type":"item","numeric-id":800475,"id":"Q800475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4076736$BA9058B5-EC58-41CD-B6F6-52A170051B72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28e5b857571c7b7d3dc8a20c54dfac83d5b21548","datavalue":{"value":{"entity-type":"item","numeric-id":115527,"id":"Q115527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4076736$8B5B16FE-5882-4F2A-8261-DC9886D63F46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4076736$4C25E86B-7E96-494D-B231-C959DA6CBFEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4076736$4811E0BE-6448-4350-8C07-FC078E323666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4076736$C9CC78D1-BB5E-454C-970D-470567AA69C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04fb6ceee1a2d4a45509be320e7efdce2c60207b","datavalue":{"value":"3493849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4076736$80E4BCD0-75B1-4973-9377-3BA151A2CE29","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":"Q4076736$22671A4D-9255-4310-AA30-49AF3B048A4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b8869cd439732c04a9be1eed4b3e4d40ea68930","datavalue":{"value":"https://doi.org/10.1080/01969727408546056","type":"string"},"datatype":"url"},"type":"statement","id":"Q4076736$AF52F338-A612-4ADC-B684-7AC4B58C2838","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a9793323fffd70aa33ed97a6e0b8e5a217ae269","datavalue":{"value":"W2117302669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4076736$790A8862-01F4-4F67-AF44-010379E970D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Semantic Basis for Program Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Semantic_Basis_for_Program_Verification"}}}}}